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