Uses of Class
de.rwth.i2.attestor.generated.analysis.DepthFirstAdapter

Packages that use DepthFirstAdapter

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.

Uses of DepthFirstAdapter in de.rwth.i2.attestor

Subclasses of DepthFirstAdapter in de.rwth.i2.attestor

Modifier and Type	Class and Description
class	APCollector Created by christina on 08.09.17.
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.