public IntVarEnumerator(IntVarIterator iterator) { iterator_ = iterator; }
public IntVarEnumerator(IntVarIterator iterator) { iterator_ = iterator; }
public IntVarEnumerator(IntVarIterator iterator) { iterator_ = iterator; }
public IntVarEnumerator(IntVarIterator iterator) { iterator_ = iterator; }