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