|
||||||||||
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 |