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