|
| Variables & | operator+= (Variables &vars1, const Variables &vars2) |
| | Updates var1 with the result of set-union(var1, var2).
|
| Variables & | operator+= (Variables &vars, const Variable &var) |
| | Updates vars with the result of set-union(vars, { var }).
|
| Variables | operator+ (Variables vars1, const Variables &vars2) |
| | Returns set-union of var1 and var2.
|
| Variables | operator+ (Variables vars, const Variable &var) |
| | Returns set-union of vars and {var}.
|
| Variables | operator+ (const Variable &var, Variables vars) |
| | Returns set-union of {var} and vars.
|
| Variables & | operator-= (Variables &vars1, const Variables &vars2) |
| | Updates var1 with the result of set-minus(var1, var2).
|
| Variables & | operator-= (Variables &vars, const Variable &var) |
| | Updates vars with the result of set-minus(vars, {var}).
|
| Variables | operator- (Variables vars1, const Variables &vars2) |
| | Returns set-minus(var1, vars2).
|
| Variables | operator- (Variables vars, const Variable &var) |
| | Returns set-minus(vars, { var }).
|
| Variables | intersect (const Variables &vars1, const Variables &vars2) |
| | Returns the intersection of vars1 and vars2.
|