de.stups.probkodkod.parser.node

Class ABinaryInnerformula

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PInnerformula

de.stups.probkodkod.parser.node.ABinaryInnerformula

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class ABinaryInnerformula
extends PInnerformula

Constructor Summary

Constructors

Constructor and Description
ABinaryInnerformula()
ABinaryInnerformula(PLogopBinary _logopBinary_, PFormula _a_, PFormula _b_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PFormula	getA()
PFormula	getB()
PLogopBinary	getLogopBinary()
void	setA(PFormula node)
void	setB(PFormula node)
void	setLogopBinary(PLogopBinary node)
java.lang.String	toString()

Methods inherited from class de.stups.probkodkod.parser.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class de.hhu.stups.sablecc.patch.PositionedNode

getEndPos, getStartPos, setEndPos, setStartPos

Methods inherited from class java.lang.Object

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

Constructor Detail

ABinaryInnerformula

public ABinaryInnerformula()

ABinaryInnerformula

public ABinaryInnerformula(PLogopBinary _logopBinary_,
                   PFormula _a_,
                   PFormula _b_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getLogopBinary

public PLogopBinary getLogopBinary()

setLogopBinary

public void setLogopBinary(PLogopBinary node)

getA

public PFormula getA()

setA

public void setA(PFormula node)

getB

public PFormula getB()

setB

public void setB(PFormula node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object