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

Packages that use TLparen

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTLparen(TLparen node)
void	AnalysisAdapter.caseTLparen(TLparen node)

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

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

Modifier and Type	Method and Description
TLparen	AAndStateform.getLparen()
TLparen	AReleaseLtlform.getLparen()
TLparen	AImpliesLtlform.getLparen()
TLparen	AUntilLtlform.getLparen()
TLparen	AOrStateform.getLparen()

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

Modifier and Type	Method and Description
void	AAndStateform.setLparen(TLparen node)
void	AReleaseLtlform.setLparen(TLparen node)
void	AImpliesLtlform.setLparen(TLparen node)
void	AUntilLtlform.setLparen(TLparen node)
void	AOrStateform.setLparen(TLparen node)

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

Constructor and Description
AAndStateform(TLparen _lparen_, PLtlform _leftform_, TAnd _and_, PLtlform _rightform_, TRparen _rparen_)
AImpliesLtlform(TLparen _lparen_, PLtlform _leftform_, TImplies _implies_, PLtlform _rightform_, TRparen _rparen_)
AOrStateform(TLparen _lparen_, PLtlform _leftform_, TOr _or_, PLtlform _rightform_, TRparen _rparen_)
AReleaseLtlform(TLparen _lparen_, PLtlform _leftform_, TRelease _release_, PLtlform _rightform_, TRparen _rparen_)
AUntilLtlform(TLparen _lparen_, PLtlform _leftform_, TUntil _until_, PLtlform _rightform_, TRparen _rparen_)