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