code: public void buildCardinality(final MiniSatStyleSolver s, final LNGIntVector lits, int rhs) {
      assert this.incrementalStrategy != IncrementalStrategy.NONE;
      switch (this.cardinalityEncoding) {
        case TOTALIZER:
          this.totalizer.build(s, lits, rhs);
          break;
        default:
          throw new IllegalStateException("Cardinality encoding does not support incrementality: " + this.incrementalStrategy);
      }
    }
docs: Manages the building of cardinality encodings.  Currently is only used for incremental solving.
  @param s    the solver
  @param lits the literals for the constraint
  @param rhs  the right hand side of the constraint
  @throws IllegalStateException if the cardinality encoding does not support incrementality