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

Packages that use TTrue

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTTrue(TTrue node)
void	AnalysisAdapter.caseTTrue(TTrue node)

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

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

Modifier and Type	Method and Description
TTrue	ATrueTerm.getTrue()

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

Modifier and Type	Method and Description
void	ATrueTerm.setTrue(TTrue node)

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

Constructor and Description
ATrueTerm(TTrue _true_)