313233343536373839
public IntDomainHistory(IntVar var) { _var = var; int max_size = Math.min(_var.size(), 30); _history = new FastVectorInt(2 * max_size); _remove_history = new FastVectorInt(max_size); save(); }