def recompute(self, projection=None):
projection = projection or (lambda *args: True)
self.abstract_value = alpha(self.domain,
self._to_formula(),
self.cache,
projection=projection)
if self.widget is not None:
self.widget.render()
def recompute(self,projection = None):
projection = projection or (lambda *args: True)
self.abstract_value = alpha(self.domain, self._to_formula(), self.cache,
projection = projection)
if self.widget is not None:
self.widget.render()
print "Skolemized State:"
print state_sk
print
print "Concept Domain:"
cd.output()
print
print "Facts:"
for tag, formula in cd.get_facts():
print ' ', tag, formula
print
print "alpha:"
a = alpha(cd, state_sk)
for tag, value in a:
if value:
print ' ', tag
print
print "\n=== Splitting c_server on c_s ===\n"
cd.split('server', 's')
print "Concept Domain:"
cd.output()
print
print "Facts:"
for tag, formula in cd.get_facts():
print "Skolemized State:"
print state_sk
print
print "Concept Domain:"
cd.output()
print
print "Facts:"
for tag, formula in cd.get_facts():
print ' ', tag, formula
print
print "alpha:"
a = alpha(cd, state_sk)
for tag, value in a:
if value:
print ' ', tag
print
print "\n=== Splitting c_server on c_s ===\n"
cd.split('server', 's')
print "Concept Domain:"
cd.output()
print
print "Facts:"
for tag, formula in cd.get_facts():
def recompute(self):
self.abstract_value = alpha(self.domain, self._to_formula(), self.cache)
if self.widget is not None:
self.widget.render()