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

Packages that use TOr

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTOr(TOr node)
void	AnalysisAdapter.caseTOr(TOr node)

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

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

Modifier and Type	Method and Description
TOr	AOrStateform.getOr()

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

Modifier and Type	Method and Description
void	AOrStateform.setOr(TOr node)

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

Constructor and Description
AOrStateform(TLparen _lparen_, PLtlform _leftform_, TOr _or_, PLtlform _rightform_, TRparen _rparen_)