public void incUpdateCardinality ( final MiniSatStyleSolver s , final LNGIntVector join , final LNGIntVector lits , int rhs , final LNGIntVector assumptions ) { assert this . incrementalStrategy == IncrementalStrategy . ITERATIVE ; switch ( this . cardinalityEncoding ) { case TOTALIZER : if ( join . size ( ) > 0 ) this . totalizer . join ( s , join , rhs ) ; assert lits . size ( ) > 0 ; this . totalizer . update ( s , rhs , assumptions ) ; break ; default : throw new IllegalArgumentException ( "Cardinality encoding does not support incrementality: " + this . incrementalStrategy ) ; } }
Manages the incremental update of cardinality constraints .