code: public void incUpdateCardinality(final MiniSatStyleSolver s, final LNGIntVector join, final LNGIntVector lits,
                                     int rhs, final LNGIntVector assumptions) {
      assert this.incrementalStrategy == IncrementalStrategy.ITERATIVE;
      switch (this.cardinalityEncoding) {
        case TOTALIZER:
          if (join.size() > 0)
            this.totalizer.join(s, join, rhs);
          assert lits.size() > 0;
          this.totalizer.update(s, rhs, assumptions);
          break;
        default:
          throw new IllegalArgumentException("Cardinality encoding does not support incrementality: " + this.incrementalStrategy);
      }
    }
docs: Manages the incremental update of cardinality constraints.
  @param s           the solver
  @param join        the join literals
  @param lits        the literals of the constraint
  @param rhs         the right hand side of the constraint
  @param assumptions the assumptions
  @throws IllegalStateException if the cardinality encoding does not support incrementality