C# (CSharp) MaraSolver.Float FltVarExprValSub Examples

Example #1

File: FltVarExpr.cs Project: ktp-forked-repos/Mara

        // v0 = v1 - v2
        public static FltVarExpr operator -(FltVarExpr lhs, double rhs)
        {
            FltVarExpr expr = new FltVarExprValSub(lhs.Var0, rhs);

            expr.AddExpr(lhs);

            return(expr);
        }

Example #2

File: FltVarExpr.cs Project: nofear/Mara

        // v0 = v1 - v2
        public static FltVarExpr operator -( FltVarExpr lhs, double rhs )
        {
            FltVarExpr expr		= new FltVarExprValSub( lhs.Var0, rhs );

            expr.AddExpr( lhs );

            return expr;
        }