public void AssumeDomainSpecificFact(DomainSpecificFact fact)
{
for (int i = 0; i < this.disjuncts.Length; i++)
{
this.disjuncts[i].AssumeDomainSpecificFact(fact);
}
}
public void AssumeDomainSpecificFact(DomainSpecificFact fact)
{
this.Numerical.AssumeDomainSpecificFact(fact);
this.Array.AssumeDomainSpecificFact(fact);
foreach (var ad in this.otherStates)
{
ad.AssumeDomainSpecificFact(fact);
}
}
public override void AssumeDomainSpecificFact(DomainSpecificFact fact)
{
base.AssumeDomainSpecificFact(fact);
Variable var;
Interval_IEEE754 intv;
if (fact.IsAssumeInFloatInterval(out var, out intv))
{
Interval_IEEE754 prev;
if (this.TryGetValue(var, out prev))
{
intv = prev.Meet(intv);
}
this[var] = intv;
}
}
virtual public void AssumeDomainSpecificFact(DomainSpecificFact fact)
{
}
void IPureExpressionTest <Variable, Expression> .AssumeDomainSpecificFact(DomainSpecificFact fact)
{
AssumeDomainSpecificFact(fact);
}
