Uses of Class
de.rwth.i2.attestor.generated.node.TApvisited

Packages that use TApvisited

Package	Description
de.rwth.i2.attestor.generated.analysis
de.rwth.i2.attestor.generated.node

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

Methods in de.rwth.i2.attestor.generated.analysis with parameters of type TApvisited

Modifier and Type	Method and Description
void	Analysis.caseTApvisited(TApvisited node)
void	AnalysisAdapter.caseTApvisited(TApvisited node)

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

Methods in de.rwth.i2.attestor.generated.node that return TApvisited

Modifier and Type	Method and Description
TApvisited	AVisitedAtomicprop.getApvisited()

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

Modifier and Type	Method and Description
void	AVisitedAtomicprop.setApvisited(TApvisited node)

Constructors in de.rwth.i2.attestor.generated.node with parameters of type TApvisited

Constructor and Description
AVisitedAtomicprop(TLcurlyparen _lcurlyparen_, TApvisited _apvisited_, TRcurlyparen _rcurlyparen_)