ABimapAtomicprop (LTLParser 0.0.2 API)

public final class ABimapAtomicprop
extends PAtomicprop

Constructors
Constructor and Description
`ABimapAtomicprop()`
`ABimapAtomicprop(TLcurlyparen _lcurlyparen_, TApbtree _apbtree_, TRcurlyparen _rcurlyparen_)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`apply(Switch sw)`
`Object`	`clone()`
`TApbtree`	`getApbtree()`
`TLcurlyparen`	`getLcurlyparen()`
`TRcurlyparen`	`getRcurlyparen()`
`void`	`setApbtree(TApbtree 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 ABimapAtomicprop(TLcurlyparen _lcurlyparen_,
                        TApbtree _apbtree_,
                        TRcurlyparen _rcurlyparen_)

public void setLcurlyparen(TLcurlyparen node)

public void setApbtree(TApbtree node)

public void setRcurlyparen(TRcurlyparen node)

Class ABimapAtomicprop