Uses of Package
de.rwth.i2.attestor

Packages that use de.rwth.i2.attestor

Package	Description
de.rwth.i2.attestor	This package provides the LTL parsing functionality as well as the methods to walk an LTL formula according to the tableau method.

Classes in de.rwth.i2.attestor used by de.rwth.i2.attestor

Class and Description
FormulaWalker The LTL formula interpreter, that is tailored to the tableau method for model checking.
LTLFormula Holds an LTL formula, its corresponding AST obtained from parsing, and its formula walker.