public bool Visit(Reification reif)
{
bool c = false;
if (reif.Max < reif.MaxVal)
{
c = UpdateInterval(reif, reif.MinVal, reif.MinVal);
if (c)
{
AddChanged(reif);
}
if (UpdateInterval(reif.Condition, Double.NegativeInfinity, 0))
{
AddChanged(reif.Condition);
c = true;
}
}
else if (reif.Min > reif.MinVal)
{
c = UpdateInterval(reif, reif.MaxVal, reif.MaxVal);
if (c)
{
AddChanged(reif);
}
if (UpdateInterval(reif.Condition, 1, 1))
{
AddChanged(reif.Condition);
c = true;
}
}
return(c);
}
public bool Visit(Reification reif)
{
reif.Parents.Clear();
reif.Condition.Accept(this);
UpdateInterval(reif, reif.MinVal, reif.MaxVal);
return(true);
}
public bool Visit(Reification reif)
{
if (reif.Condition.Min > 0)
{
if (UpdateInterval(reif, reif.MaxVal, reif.MaxVal))
{
AddChanged(reif);
return(true);
}
}
else if (reif.Condition.Max < 0)
{
if (UpdateInterval(reif, reif.MinVal, reif.MinVal))
{
AddChanged(reif);
return(true);
}
}
return(false);
}
public void Visit(Reification reif)
{
AddToQueue(reif);
reif.Condition.Accept(this);
//return true;
}
public void Visit(Reification reif)
{
reif.Condition.Accept(this);
}
public bool Visit(Reification reif)
{
reif.Condition.Parents.Add(reif);
//reif.Condition.Accept(this);
return(false);
}
