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