org.zilonis.network
Class Condition

java.lang.Object
  extended by 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