| ACTL |
This class is the base of ACTL formulae.
|
| ACTLAlways |
This class defines the AG formulae in ACTL.
|
| ACTLAnd |
This class defines conjunctive ACTL formulae.
|
| ACTLAtomic |
This class defines atomic ACTL formulae.
|
| ACTLBinary |
This class defines binary ACTL formulae.
|
| ACTLCreator |
This is a creator that can create a string representing an ACTL formula.
|
| ACTLFormula |
An ACTLFormula object holds a string that is supposed to be an ACTL
formula.
|
| ACTLNegation |
This class defines the negative propositions in ACTL.
|
| ACTLNext |
This class defines the AX formulae in ACTL.
|
| ACTLOr |
This class defines disjunctive ACTL formulae.
|
| ACTLParser |
An ACTLParser can parse a string into an ACTL object.
|
| ACTLRelease |
This class defines AR formulae.
|
| ACTLRewritePattern |
An ACTLRewritePattern object contains several syntactical rewrite
patterns represented as a map from the pattern to the replacement.
|
| ACTLSimplifier |
This class provides a rewriter for simplifying ACTL formulae.
|
| ACTLSometime |
This class defines the AF formulae in ACTL.
|
| ACTLUnary |
This class defines unary ACTL formulae.
|
| ACTLUnifier |
An ACTLUnifier can perform unification on two ACTL formulae: source
and target.
|
| ACTLUntil |
This class defines AU formulae.
|