public void buildCardinality ( final MiniSatStyleSolver s , final LNGIntVector lits , int rhs ) { assert this . incrementalStrategy != IncrementalStrategy . NONE ; switch ( this . cardinalityEncoding ) { case TOTALIZER : this . totalizer . build ( s , lits , rhs ) ; break ; default : throw new IllegalStateException ( "Cardinality encoding does not support incrementality: " + this . incrementalStrategy ) ; } }
Manages the building of cardinality encodings . Currently is only used for incremental solving .