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

Packages that use TFalse

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTFalse(TFalse node)
void	AnalysisAdapter.caseTFalse(TFalse node)

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

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

Modifier and Type	Method and Description
TFalse	AFalseTerm.getFalse()

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

Modifier and Type	Method and Description
void	AFalseTerm.setFalse(TFalse node)

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

Constructor and Description
AFalseTerm(TFalse _false_)