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)); } }