public FlatAbstractDomain <bool> CheckIfGreaterEqualThanZero(Expression exp) { // exp >= 0 ? AI.IExpr toCheck = linearfactory.AtMost(linearfactory.Const(0), Converter.Box <Expression>(exp, decoder)); return(ToFlatAbstractDomain(UnderlyingPolyhedra.CheckPredicate(embedded, toCheck)).Meet(intv.CheckIfGreaterEqualThanZero(exp))); }
public override Answer CheckPredicate(Element /*!*/ e, IExpr /*!*/ pred) { //Contract.Requires(pred != null); //Contract.Requires(e != null); checkPredicateCount++; return(lattice.CheckPredicate(e, pred)); }
public Answer CheckPredicate(IExpr /*!*/ pred) { //Contract.Requires(pred != null); return(lattice.CheckPredicate(element, pred)); }