| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BottomUpClosure.cpp | 19822 | logstatsplain |
| -rw-r--r-- | CompleteBottomUp.cpp | 9759 | logstatsplain |
| -rw-r--r-- | DataStructure.cpp | 82913 | logstatsplain |
| -rw-r--r-- | DataStructureAA.cpp | 9558 | logstatsplain |
| -rw-r--r-- | DataStructureOpt.cpp | 3824 | logstatsplain |
| -rw-r--r-- | DataStructureStats.cpp | 4701 | logstatsplain |
| -rw-r--r-- | EquivClassGraphs.cpp | 19096 | logstatsplain |
| -rw-r--r-- | GraphChecker.cpp | 7918 | logstatsplain |
| -rw-r--r-- | Local.cpp | 48228 | logstatsplain |
| -rw-r--r-- | Makefile | 484 | logstatsplain |
| -rw-r--r-- | Printer.cpp | 12274 | logstatsplain |
| -rw-r--r-- | Steensgaard.cpp | 8371 | logstatsplain |
| -rw-r--r-- | TopDownClosure.cpp | 17689 | logstatsplain |

