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

Packages that use TApterminated

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTApterminated(TApterminated node)
void	AnalysisAdapter.caseTApterminated(TApterminated node)

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

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

Modifier and Type	Method and Description
TApterminated	ATerminatedAtomicprop.getApterminated()

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

Modifier and Type	Method and Description
void	ATerminatedAtomicprop.setApterminated(TApterminated node)

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

Constructor and Description
ATerminatedAtomicprop(TLcurlyparen _lcurlyparen_, TApterminated _apterminated_, TRcurlyparen _rcurlyparen_)