| 54 | } |
| 55 | |
| 56 | ModEvent |
| 57 | SetVarImp::cardMax_full(Space& home) { |
| 58 | ModEvent me = ME_SET_CARD; |
| 59 | if (cardMax() == glb.size()) { |
| 60 | lub.become(home, glb); |
| 61 | me = ME_SET_VAL; |
| 62 | } |
| 63 | SetDelta d; |
| 64 | return notify(home, me, d); |
| 65 | } |
| 66 | |
| 67 | ModEvent |
| 68 | SetVarImp::processLubChange(Space& home, SetDelta& d) { |