public void incUpdatePB ( final MiniSatStyleSolver s , final LNGIntVector lits , final LNGIntVector coeffs , int rhs ) { assert this . incrementalStrategy == IncrementalStrategy . ITERATIVE ; switch ( this . pbEncoding ) { case SWC : this . swc . updateInc ( s , rhs ) ; this . swc . join ( s , lits , coeffs ) ; break ; default : throw new IllegalStateException ( "Unknown pseudo-Boolean encoding: " + this . pbEncoding ) ; } }
Manages the incremental update of pseudo - Boolean encodings .