cleaner Class Reference

cleaner cleans the graph of obsolete data, cleaner does not necessarily have to remove dead branches from the graph but the data that the nodes point to. More...


Detailed Description

cleaner cleans the graph of obsolete data, cleaner does not necessarily have to remove dead branches from the graph but the data that the nodes point to.

Definition at line 40 of file Cleaner.py.


The documentation for this class was generated from the following file:

Generated on Sun Aug 10 09:11:11 2008 for SLIMpy by  doxygen 1.5.6