org.zilonis.network
Class Condition

java.lang.Object
  org.zilonis.network.Condition

public class Condition
extends java.lang.Object

Field Summary

static int	BOOLEAN_EXPRESSION
static int	CONJUNCTIVE_NEGATION_CONDITION
static int	NEGATIVE_CONDITION
static int	POSITIVE_CONDITION

Constructor Summary

Condition(int type, Condition top)

Condition(int type, Condition top, Condition bottom)

Condition(int type, Triplet triplet)

Condition(java.lang.String expression, java.lang.String[] variables)

Method Summary

BetaMemory	getBetaMemory()
Condition	getBottom()
java.lang.String	getExpression()
IndexedBetaMemory	getIndexedBetaMemory()
NCCNode	getNccNode()
NCCPartnerNode	getNccPartnerNode()
NegativeNode	getNegativeNode()
Condition	getNext()
int	getNumberOfSubConditions()
Condition	getPrev()
Condition	getTop()
Triplet	getTriplet()
int	getType()
java.lang.String[]	getVariables()
boolean	isType(int type)
void	setBetaMemory(BetaMemory betaMemory)
void	setBottom(Condition bottom)
void	setIndexedBetaMemory(IndexedBetaMemory betaMemory)
void	setNccNode(NCCNode nccNode)
void	setNccPartnerNode(NCCPartnerNode nccPartnerNode)
void	setNegativeNode(NegativeNode negativeNode)
void	setNext(Condition next)
void	setPrev(Condition prev)
void	setTop(Condition top)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

POSITIVE_CONDITION

public static final int POSITIVE_CONDITION

See Also:

Constant Field Values

NEGATIVE_CONDITION

public static final int NEGATIVE_CONDITION

See Also:

Constant Field Values

CONJUNCTIVE_NEGATION_CONDITION

public static final int CONJUNCTIVE_NEGATION_CONDITION

See Also:

Constant Field Values

BOOLEAN_EXPRESSION

public static final int BOOLEAN_EXPRESSION

See Also:

Constant Field Values

Constructor Detail

Condition

public Condition(int type,
                 Condition top)

Condition

public Condition(java.lang.String expression,
                 java.lang.String[] variables)

Condition

public Condition(int type,
                 Condition top,
                 Condition bottom)

Condition

public Condition(int type,
                 Triplet triplet)

Method Detail

getNccNode

public NCCNode getNccNode()

setNccNode

public void setNccNode(NCCNode nccNode)

getNccPartnerNode

public NCCPartnerNode getNccPartnerNode()

setNccPartnerNode

public void setNccPartnerNode(NCCPartnerNode nccPartnerNode)

setNegativeNode

public void setNegativeNode(NegativeNode negativeNode)

getNegativeNode

public NegativeNode getNegativeNode()

setBetaMemory

public void setBetaMemory(BetaMemory betaMemory)

setIndexedBetaMemory

public void setIndexedBetaMemory(IndexedBetaMemory betaMemory)

getIndexedBetaMemory

public IndexedBetaMemory getIndexedBetaMemory()

getBetaMemory

public BetaMemory getBetaMemory()

getExpression

public java.lang.String getExpression()

getVariables

public java.lang.String[] getVariables()

getTriplet

public Triplet getTriplet()

isType

public boolean isType(int type)

getType

public int getType()

setNext

public void setNext(Condition next)

setPrev

public void setPrev(Condition prev)

setTop

public void setTop(Condition top)

setBottom

public void setBottom(Condition bottom)

getNext

public Condition getNext()

getPrev

public Condition getPrev()

getTop

public Condition getTop()

getBottom

public Condition getBottom()

getNumberOfSubConditions

public int getNumberOfSubConditions()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object