private Formula vec2clause ( final LNGVector < Literal > literals ) { final List < Literal > lits = new ArrayList <> ( literals . size ( ) ) ; for ( final Literal l : literals ) lits . ( l ) ; return this . f . clause ( lits ) ; }
Returns a clause for a vector of literals .