|
|
@@ -383,7 +383,6 @@ class ModelverseState(object):
|
|
|
self.garbage_collect()
|
|
|
values = set(self.nodes) | set(self.edges)
|
|
|
visit_list = [self.root]
|
|
|
- print("Purge!")
|
|
|
|
|
|
while visit_list:
|
|
|
elem = visit_list.pop()
|
|
|
@@ -397,7 +396,6 @@ class ModelverseState(object):
|
|
|
|
|
|
# All remaining elements are to be purged
|
|
|
if len(values) > 0:
|
|
|
- print("Purging %s unreachable elements!" % len(values))
|
|
|
while values:
|
|
|
v = values.pop()
|
|
|
if v in self.nodes:
|