protected override bool AtMost(Element /*!*/ a, Element /*!*/ b)
{
//Contract.Requires(b != null);
//Contract.Requires(a != null);
atMostCount++;
return(lattice.LowerThan(a, b));
}
public bool LessEqual(PolyhedraEnvironment <Expression> right)
{
bool result;
if (AbstractDomainsHelper.TryTrivialLessEqual(this, right, out result))
{
return(result);
}
else
{
return(UnderlyingPolyhedra.LowerThan(embedded, right.embedded) && intv.LessEqual(right.intv));
}
}
