def getBottoms(self):
if not self.cache.bottoms:
self.cache.bottoms = metrics.setminus(self._getNRUs(),
self._getDefds())
return self.cache.bottoms
def getDeadTops(self):
if not self.cache.deadtops:
self.cache.deadtops = metrics.setminus(self._getTops(),
self.grammar.roots)
return self.cache.deadtops
def _getTops(self):
if not self.cache.tops:
self.cache.tops = metrics.setminus(self._getDefds(),
self._getNRUs())
return self.cache.tops
def getBottoms(self): if not self.cache.bottoms: self.cache.bottoms = metrics.setminus(self._getNRUs(),self._getDefds()) return self.cache.bottoms
def getDeadTops(self): if not self.cache.deadtops: self.cache.deadtops = metrics.setminus(self._getTops(),self.grammar.roots) return self.cache.deadtops
def _getTops(self): if not self.cache.tops: self.cache.tops = metrics.setminus(self._getDefds(),self._getNRUs()) return self.cache.tops
