Beispiel #1
0
 def getBottoms(self):
     if not self.cache.bottoms:
         self.cache.bottoms = metrics.setminus(self._getNRUs(),
                                               self._getDefds())
     return self.cache.bottoms
Beispiel #2
0
 def getDeadTops(self):
     if not self.cache.deadtops:
         self.cache.deadtops = metrics.setminus(self._getTops(),
                                                self.grammar.roots)
     return self.cache.deadtops
Beispiel #3
0
 def _getTops(self):
     if not self.cache.tops:
         self.cache.tops = metrics.setminus(self._getDefds(),
                                            self._getNRUs())
     return self.cache.tops
Beispiel #4
0
	def getBottoms(self):
		if not self.cache.bottoms:
			self.cache.bottoms = metrics.setminus(self._getNRUs(),self._getDefds())
		return self.cache.bottoms
Beispiel #5
0
	def getDeadTops(self):
		if not self.cache.deadtops:
			self.cache.deadtops = metrics.setminus(self._getTops(),self.grammar.roots)
		return self.cache.deadtops
Beispiel #6
0
	def _getTops(self):
		if not self.cache.tops:
			self.cache.tops = metrics.setminus(self._getDefds(),self._getNRUs())
		return self.cache.tops