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

Packages that use TNeg

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTNeg(TNeg node)
void	AnalysisAdapter.caseTNeg(TNeg node)

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

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

Modifier and Type	Method and Description
TNeg	ANegStateform.getNeg()

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

Modifier and Type	Method and Description
void	ANegStateform.setNeg(TNeg node)

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

Constructor and Description
ANegStateform(TNeg _neg_, PLtlform _ltlform_)