// v0 = v1 - v2 public static FltVarExpr operator -(FltVarExpr lhs, FltVar rhs) { FltVarExpr expr = new FltVarExprSub(lhs.Var0, rhs); expr.AddExpr(lhs); return(expr); }
// 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; }