Uses of Interface
de.rwth.i2.attestor.generated.node.Switch

Packages that use Switch

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.node

Uses of Switch in de.rwth.i2.attestor

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

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

Subinterfaces of Switch in de.rwth.i2.attestor.generated.analysis

Modifier and Type	Interface and Description
interface	Analysis

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

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

Uses of Switch in de.rwth.i2.attestor.generated.node

Methods in de.rwth.i2.attestor.generated.node with parameters of type Switch

Modifier and Type	Method and Description
void	AAndStateform.apply(Switch sw)
void	AAtomicpropTerm.apply(Switch sw)
void	TTrue.apply(Switch sw)
void	TApisreach.apply(Switch sw)
void	ASllAtomicprop.apply(Switch sw)
void	TFinally.apply(Switch sw)
void	AVisitedAtomicprop.apply(Switch sw)
void	TApsll.apply(Switch sw)
void	TApbtree.apply(Switch sw)
void	AVisitedbyAtomicprop.apply(Switch sw)
void	TAnd.apply(Switch sw)
void	TRparen.apply(Switch sw)
void	ATermLtlform.apply(Switch sw)
void	AEqualAtomicprop.apply(Switch sw)
void	EOF.apply(Switch sw)
void	AIsreachselAtomicprop.apply(Switch sw)
void	ATrueTerm.apply(Switch sw)
void	TUntil.apply(Switch sw)
void	AReleaseLtlform.apply(Switch sw)
void	AIdenticneighboursAtomicprop.apply(Switch sw)
void	ABimapAtomicprop.apply(Switch sw)
void	AFinallyLtlform.apply(Switch sw)
void	TNeg.apply(Switch sw)
void	TApdll.apply(Switch sw)
void	TApbimap.apply(Switch sw)
void	ANotequalAtomicprop.apply(Switch sw)
void	TLcurlyparen.apply(Switch sw)
void	ATerminatedAtomicprop.apply(Switch sw)
void	AImpliesLtlform.apply(Switch sw)
void	TBlank.apply(Switch sw)
void	ADllAtomicprop.apply(Switch sw)
void	AStateformLtlform.apply(Switch sw)
void	AIsreachAtomicprop.apply(Switch sw)
void	TApidenticneighbours.apply(Switch sw)
void	ABtreeAtomicprop.apply(Switch sw)
void	InvalidToken.apply(Switch sw)
void	TGlobally.apply(Switch sw)
void	AUntilLtlform.apply(Switch sw)
void	TApterminated.apply(Switch sw)
void	TRelease.apply(Switch sw)
void	Switchable.apply(Switch sw)
void	TApvisited.apply(Switch sw)
void	TApnotequal.apply(Switch sw)
void	AOrStateform.apply(Switch sw)
void	AFalseTerm.apply(Switch sw)
void	ANegStateform.apply(Switch sw)
void	ANextLtlform.apply(Switch sw)
void	TFalse.apply(Switch sw)
void	TOr.apply(Switch sw)
void	TApequal.apply(Switch sw)
void	Start.apply(Switch sw)
void	TApvisitedby.apply(Switch sw)
void	AGloballyLtlform.apply(Switch sw)
void	TNext.apply(Switch sw)
void	ANtshapeAtomicprop.apply(Switch sw)
void	TImplies.apply(Switch sw)
void	ATreeAtomicprop.apply(Switch sw)
void	TLparen.apply(Switch sw)
void	TAptree.apply(Switch sw)
void	TApisreachsel.apply(Switch sw)
void	TRcurlyparen.apply(Switch sw)
void	TApntshape.apply(Switch sw)