AbstractBinaryFormulaNode<L,AP> |
Abstract super-class for binary (sub-) formulas.
|
AbstractFormulaNode<L,AP> |
Abstract super-class for (sub-) formulas.
|
AbstractModalFormulaNode<L,AP> |
Abstract super-class for modal (sub-) formulas.
|
AbstractUnaryFormulaNode<L,AP> |
Abstract super-class for unary (sub-) formulas.
|
AndNode<L,AP> |
Java representation of a "&&" (sub-)formula.
|
AtomicNode<L,AP> |
Java representation of an "atomic proposition" (sub-)formula.
|
BoxNode<L,AP> |
Java representation of a "[]" (sub-)formula.
|
DependencyGraph<L,AP> |
A dependency graph is used to represent a hierarchical equational system.
|
DiamondNode<L,AP> |
Java representation of a "<>" (sub-)formula.
|
EquationalBlock<L,AP> |
Represents an equational block that aggregates its reference formula nodes.
|
FalseNode<L,AP> |
Java representation of a "false" (sub-)formula.
|
NotNode<L,AP> |
Java representation of a "!"
|
OrNode<L,AP> |
Java representation of a "||" (sub-)formula.
|
TrueNode<L,AP> |
Java representation of a "true" (sub-)formula.
|