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

Packages that use TImplies

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTImplies(TImplies node)
void	AnalysisAdapter.caseTImplies(TImplies node)

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

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

Modifier and Type	Method and Description
TImplies	AImpliesLtlform.getImplies()

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

Modifier and Type	Method and Description
void	AImpliesLtlform.setImplies(TImplies node)

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

Constructor and Description
AImpliesLtlform(TLparen _lparen_, PLtlform _leftform_, TImplies _implies_, PLtlform _rightform_, TRparen _rparen_)