private void encodeNonRecursive ( final LNGVector < Literal > literals ) { if ( literals . size ( ) > 1 ) for ( int i = 0 ; i < literals . size ( ) ; i ++ ) for ( int j = i + 1 ; j < literals . size ( ) ; j ++ ) this . result . addClause ( literals . get ( i ) . negate ( ) , literals . get ( j ) . negate ( ) ) ; }
Internal non recursive encoding .