|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| ExistentialExpansionStrategy | Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced. |
| Class Summary | |
|---|---|
| AbstractExpansionStrategy | Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses. |
| CreationOrderStrategy | Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials. |
| IndividualReuseStrategy | |
| IndividualReuseStrategy.NodeBranchingPointPair | |
| Enum Summary | |
|---|---|
| AbstractExpansionStrategy.SatType | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||