|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
AbstractAFAState | Abstract superclass of all formulae. |
BinaryAFAState | BinaryAFAState - Abstract superclass of all binary formulae. |
CommutativeBinaryAFAState | Represents a binary formula, which is commutative. |
NullaryAFAState | NullaryAFAState - Abstract base class of all nullary AFA states. |
UnaryAFAState | UnaryAFAState - Abstract superclass of all unary formulae. |
Abstract base classes for all AFA states.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |