// 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;
}