C# (CSharp) Microsoft.Research.AbstractDomains.Numerical PolyhedraEnvironment.TestTrueLessThan Examples

Example #1

 public override PolyhedraEnvironment <Expression> VisitLessThan(Expression left, Expression right, PolyhedraEnvironment <Expression> data)
 {
     return((PolyhedraEnvironment <Expression>)data.TestTrueLessThan(left, right));
 }