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

Packages that use TNext

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTNext(TNext node)
void	AnalysisAdapter.caseTNext(TNext node)

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

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

Modifier and Type	Method and Description
TNext	ANextLtlform.getNext()

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

Modifier and Type	Method and Description
void	ANextLtlform.setNext(TNext node)

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

Constructor and Description
ANextLtlform(TNext _next_, PLtlform _ltlform_)