code: 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);
      }
    }
docs: Manages the incremental update of assumptions.
  @param assumptions the assumptions
  @throws IllegalStateException if the pseudo-Boolean encoding is unknown