code: 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);
      }
    }
docs: Updates a pseudo-Boolean encoding.
  @param s   the solver
  @param rhs the new right hand side
  @throws IllegalStateException if the pseudo-Boolean encoding is unknown