de.rwth.i2.attestor.generated.node

Class AGloballyLtlform

java.lang.Object

de.rwth.i2.attestor.generated.node.Node

de.rwth.i2.attestor.generated.node.PLtlform

de.rwth.i2.attestor.generated.node.AGloballyLtlform

All Implemented Interfaces:

Switchable, Cloneable

public final class AGloballyLtlform
extends PLtlform

Constructor Summary

Constructors

Constructor and Description
AGloballyLtlform()
AGloballyLtlform(TGlobally _globally_, PLtlform _ltlform_)

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw)
Object	clone()
TGlobally	getGlobally()
PLtlform	getLtlform()
void	setGlobally(TGlobally node)
void	setLtlform(PLtlform node)
String	toString()

Methods inherited from class de.rwth.i2.attestor.generated.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AGloballyLtlform

public AGloballyLtlform()

AGloballyLtlform

public AGloballyLtlform(TGlobally _globally_,
                        PLtlform _ltlform_)

Method Detail

clone

public Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getGlobally

public TGlobally getGlobally()

setGlobally

public void setGlobally(TGlobally node)

getLtlform

public PLtlform getLtlform()

setLtlform

public void setLtlform(PLtlform node)

toString

public String toString()

Overrides:

toString in class Object