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

Packages that use TGlobally

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

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

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

Modifier and Type	Method and Description
void	Analysis.caseTGlobally(TGlobally node)
void	AnalysisAdapter.caseTGlobally(TGlobally node)

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

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

Modifier and Type	Method and Description
TGlobally	AGloballyLtlform.getGlobally()

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

Modifier and Type	Method and Description
void	AGloballyLtlform.setGlobally(TGlobally node)

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

Constructor and Description
AGloballyLtlform(TGlobally _globally_, PLtlform _ltlform_)