code: public void incEncodePB(final MiniSatStyleSolver s, final LNGIntVector lits, final LNGIntVector coeffs,
                            int rhs, final LNGIntVector assumptions, int size) {
      assert this.incrementalStrategy == IncrementalStrategy.ITERATIVE;
      switch (this.pbEncoding) {
        case SWC:
          this.swc.encode(s, lits, coeffs, rhs, assumptions, size);
          break;
        default:
          throw new IllegalStateException("Unknown pseudo-Boolean encoding: " + this.pbEncoding);
      }
    }
docs: Incrementally encodes a pseudo-Boolean constraint.
  @param s           the solver
  @param lits        the literals of the constraint
  @param coeffs      the coefficients of the constraint
  @param rhs         the right hand size of the constraint
  @param assumptions the current assumptions
  @param size        the size
  @throws IllegalStateException if the pseudo-Boolean encoding is unknown