Ejemplos de Microsoft.AbstractInterpretationFramework LinearExpr.AddConstant en C# (CSharp)

Ejemplo n.º 1

Archivo: PolyhedraAbstraction.cs Proyecto: omaragb/tlp182

 public static LinearConstraint MakeConstraint(LinearExpr /*!*/ le0, LinearExpr /*!*/ le1,
                                               LinearConstraint.ConstraintRelation rel, BigNum constantOffset) /* throws ArithmeticException */
 {
     Contract.Requires(le0 != null);
     Contract.Requires(le1 != null);
     le1.Negate();
     le0.Add(le1);
     le0.AddConstant(constantOffset);
     return(le0.ToConstraint(rel));
 }

Ejemplo n.º 2

Archivo: PolyhedraAbstraction.cs Proyecto: Chenguang-Zhu/ICE-C5

 public static LinearConstraint MakeConstraint(LinearExpr/*!*/ le0, LinearExpr/*!*/ le1,
     LinearConstraint.ConstraintRelation rel, BigNum constantOffset) /* throws ArithmeticException */
 {
   Contract.Requires(le0 != null);
   Contract.Requires(le1 != null);
   le1.Negate();
   le0.Add(le1);
   le0.AddConstant(constantOffset);
   return le0.ToConstraint(rel);
 }