public void updatePB ( final MiniSatStyleSolver s , int rhs ) { switch ( this . pbEncoding ) { case SWC : this . swc . update ( s , rhs ) ; break ; default : throw new IllegalStateException ( "Unknown pseudo-Boolean encoding: " + this . pbEncoding ) ; } }
Updates a pseudo - Boolean encoding .