AEqualAtomicprop (LTLParser 0.0.2 API)

public final class AEqualAtomicprop
extends PAtomicprop

Constructors
Constructor and Description
`AEqualAtomicprop()`
`AEqualAtomicprop(TLcurlyparen _lcurlyparen_, TApequal _apequal_, TRcurlyparen _rcurlyparen_)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`apply(Switch sw)`
`Object`	`clone()`
`TApequal`	`getApequal()`
`TLcurlyparen`	`getLcurlyparen()`
`TRcurlyparen`	`getRcurlyparen()`
`void`	`setApequal(TApequal node)`
`void`	`setLcurlyparen(TLcurlyparen node)`
`void`	`setRcurlyparen(TRcurlyparen node)`
`String`	`toString()`

Methods inherited from class de.rwth.i2.attestor.generated.node.Node
cloneList, cloneNode, parent, replaceBy, toString, toString

public AEqualAtomicprop(TLcurlyparen _lcurlyparen_,
                        TApequal _apequal_,
                        TRcurlyparen _rcurlyparen_)

public void setLcurlyparen(TLcurlyparen node)

public void setApequal(TApequal node)

public void setRcurlyparen(TRcurlyparen node)

Class AEqualAtomicprop