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

Packages that use TRelease

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTRelease(TRelease node)
void	AnalysisAdapter.caseTRelease(TRelease node)

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

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

Modifier and Type	Method and Description
TRelease	AReleaseLtlform.getRelease()

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

Modifier and Type	Method and Description
void	AReleaseLtlform.setRelease(TRelease node)

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

Constructor and Description
AReleaseLtlform(TLparen _lparen_, PLtlform _leftform_, TRelease _release_, PLtlform _rightform_, TRparen _rparen_)