public void update(final MiniSatStyleSolver s, int rhs) {
    final LNGIntVector assumptions = new LNGIntVector();
    this.update(s, rhs, assumptions);
  }
public void update ( final MiniSatStyleSolver s , int rhs ) { final LNGIntVector assumptions = new LNGIntVector ( ) ; this . update ( s , rhs , assumptions ) ; }
Updates the right hand side.
@param s   the solver
@param rhs the new right hand side