de.rwth.i2.attestor.generated.node

Class AAndStateform

java.lang.Object

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

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

de.rwth.i2.attestor.generated.node.AAndStateform

All Implemented Interfaces:

Switchable, Cloneable

public final class AAndStateform
extends PStateform

Constructor Summary

Constructors

Constructor and Description
AAndStateform()
AAndStateform(TLparen _lparen_, PLtlform _leftform_, TAnd _and_, PLtlform _rightform_, TRparen _rparen_)

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw)
Object	clone()
TAnd	getAnd()
PLtlform	getLeftform()
TLparen	getLparen()
PLtlform	getRightform()
TRparen	getRparen()
void	setAnd(TAnd node)
void	setLeftform(PLtlform node)
void	setLparen(TLparen 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

AAndStateform

public AAndStateform()

AAndStateform

public AAndStateform(TLparen _lparen_,
                     PLtlform _leftform_,
                     TAnd _and_,
                     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)

getAnd

public TAnd getAnd()

setAnd

public void setAnd(TAnd 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