|
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...
|
|