code: void buildForIncremental(final EncodingResult result, final Variable[] vars, int rhs) {
      cardinalityNetwork.buildAMKForIncremental(result, vars, rhs);
    }
docs: Builds the constraint for incremental usage.
  @param result the result
  @param vars   the variables
  @param rhs    the right-hand side