|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| MemoTable | |
| OLDTEvaluationStrategy | |
| OLDTEvaluationStrategyFactory | Factory for OLDT evaluation strategy |
| OLDTEvaluator | Implementation of the OLDT evaluator. |
| Enum Summary | |
|---|---|
| NodeState | Represents the state of a node in a top-down proof tree. |
| NodeType | Used to classify nodes. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||