de.rwth.i2.attestor.generated.node

Class AOrStateform

java.lang.Object

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

de.rwth.i2.attestor.generated.node.PStateform

de.rwth.i2.attestor.generated.node.AOrStateform

All Implemented Interfaces:

Switchable, Cloneable

public final class AOrStateform
extends PStateform

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw)
Object	clone()
PLtlform	getLeftform()
TLparen	getLparen()
TOr	getOr()
PLtlform	getRightform()
TRparen	getRparen()
void	setLeftform(PLtlform node)
void	setLparen(TLparen node)
void	setOr(TOr node)
void	setRightform(PLtlform node)
void	setRparen(TRparen 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

AOrStateform

public AOrStateform()

AOrStateform

public AOrStateform(TLparen _lparen_,
                    PLtlform _leftform_,
                    TOr _or_,
                    PLtlform _rightform_,
                    TRparen _rparen_)

Method Detail

clone

public Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getLparen

public TLparen getLparen()

setLparen

public void setLparen(TLparen node)

getLeftform

public PLtlform getLeftform()

setLeftform

public void setLeftform(PLtlform node)

getOr

public TOr getOr()

setOr

public void setOr(TOr node)

getRightform

public PLtlform getRightform()

setRightform

public void setRightform(PLtlform node)

getRparen

public TRparen getRparen()

setRparen

public void setRparen(TRparen node)

toString

public String toString()

Overrides:

toString in class Object