Uses of Interface
de.rwth.i2.attestor.generated.analysis.Analysis

Packages that use Analysis

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.
de.rwth.i2.attestor.generated.analysis
de.rwth.i2.attestor.generated.parser

Uses of Analysis in de.rwth.i2.attestor

Classes in de.rwth.i2.attestor that implement Analysis

Modifier and Type	Class and Description
class	APCollector Created by christina on 08.09.17.
class	FormulaWalker The LTL formula interpreter, that is tailored to the tableau method for model checking.
class	NegationPusher The negation pusher walks the AST and pushes any negation inside until there is only negation at term level.
class	OperatorEliminator This class implements the AST walker, that transforms finally, globally and implication into their equivalents in PNF.

Uses of Analysis in de.rwth.i2.attestor.generated.analysis

Classes in de.rwth.i2.attestor.generated.analysis that implement Analysis

Modifier and Type	Class and Description
class	AnalysisAdapter
class	DepthFirstAdapter
class	ReversedDepthFirstAdapter

Uses of Analysis in de.rwth.i2.attestor.generated.parser

Fields in de.rwth.i2.attestor.generated.parser declared as Analysis

Modifier and Type	Field and Description
Analysis	Parser.ignoredTokens