// v0 = v1 + v2
public static FltVarExpr operator +( FltVarExpr lhs, FltVar rhs )
{
FltVarExpr expr = new FltVarExprAdd( lhs.Var0, rhs );
expr.AddExpr( lhs );
return expr;
}
// v0 = v1 + v2
public static FltVarExpr operator +(FltVarExpr lhs, FltVar rhs)
{
FltVarExpr expr = new FltVarExprAdd(lhs.Var0, rhs);
expr.AddExpr(lhs);
return(expr);
}