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

Packages that use TAnd

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTAnd(TAnd node)
void	AnalysisAdapter.caseTAnd(TAnd node)

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

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

Modifier and Type	Method and Description
TAnd	AAndStateform.getAnd()

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

Modifier and Type	Method and Description
void	AAndStateform.setAnd(TAnd node)

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

Constructor and Description
AAndStateform(TLparen _lparen_, PLtlform _leftform_, TAnd _and_, PLtlform _rightform_, TRparen _rparen_)