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

Example #1

            public override PolyhedraEnvironment <Expression> VisitNotEqual(Expression left, Expression right, PolyhedraEnvironment <Expression> data)
            {
                // left != right
                AI.IExpr notEq = linearfactory.Neq(Converter.Box(left, this.Decoder), Converter.Box(right, this.Decoder));

                return(data.Factory(UnderlyingPolyhedra.Constrain(data.embedded, notEq), data.intv));
            }