reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
40 if (Undef && !Occupied) { 41 assert(!Occupied); 42 Occupied = Universe.subtract(Undef); 50 if (!Occupied) 51 Occupied = OccupiedAndKnown.domain(); 61 assert(Occupied); 62 Undef = Universe.subtract(Occupied); 70 assert(Occupied);