Closed henryzord closed 7 years ago
Currently we are storing unnecessary information in each node's dictionary. The info 'terminal', for example, can be safely replaced by len(tree.successors(x)) == 0.
Fixed in d7af0758ffa481b8c0bd548828b458992117a932.
Currently we are storing unnecessary information in each node's dictionary. The info 'terminal', for example, can be safely replaced by len(tree.successors(x)) == 0.