public void Propagate()
{
if (Operand1 is Variable)
{
var valueSmall = ((Variable)Operand1).NextValue();
var valueBig = Operand2.Value();
while (valueSmall != int.MaxValue)
{
if (valueSmall >= valueBig)
{
((Variable)Operand1).RemoveValue(valueSmall);
}
valueSmall = ((Variable)Operand1).NextValue();
}
}
if (Operand2 is Variable)
{
var valueSmall = Operand1.Value();
var valueBig = ((Variable)Operand2).NextValue();
while (valueBig != int.MaxValue)
{
if (valueBig <= valueSmall)
{
((Variable)Operand2).RemoveValue(valueBig);
}
valueBig = ((Variable)Operand2).NextValue();
}
}
}