public void incUpdatePBAssumptions ( final LNGIntVector assumptions ) { assert this . incrementalStrategy == IncrementalStrategy . ITERATIVE ; switch ( this . pbEncoding ) { case SWC : this . swc . updateAssumptions ( assumptions ) ; break ; default : throw new IllegalStateException ( "Unknown pseudo-Boolean encoding: " + this . pbEncoding ) ; } }
Manages the incremental update of assumptions .