Beispiel #1
0
        // v0 = v1 - v2
        public static FltVarExpr operator -(FltVarExpr lhs, FltVar rhs)
        {
            FltVarExpr expr = new FltVarExprSub(lhs.Var0, rhs);

            expr.AddExpr(lhs);

            return(expr);
        }
Beispiel #2
0
        // v0 = v1 - v2
        public static FltVarExpr operator -( FltVarExpr lhs, FltVarExpr rhs )
        {
            FltVarExpr expr		= new FltVarExprSub( lhs.Var0, rhs.Var0 );

            expr.AddExpr( lhs );
            expr.AddExpr( rhs );

            return expr;
        }