public object Clone()
{
if (!IsInitialized())
{
return(new Domain(OutsideScope));
}
else
{
var d = new Domain(InitialDomain.ConvertAll(v => v), OutsideScope);
d.CurrentDomain = CurrentDomain.ConvertAll(v => v);
return(d);
}
}
/**
* Get the highest value in the initial domain.
*/
public int MaxInitialValue()
{
return(InitialDomain.Max());
}
/**
* Get the lowest value in the initial domain.
*/
public int MinInitialValue()
{
return(InitialDomain.Min());
}
/**
* Resets the set of current values to the set of initial values.
* Allow the recover all values in the domain if we filtered some of them.
*/
public void ResetToInitial()
{
CurrentDomain = InitialDomain.ConvertAll(v => v);
}
