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