ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnConditionOr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCondition
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionBinOp
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionOr
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class CoopnConditionOr
extends CoopnConditionBinOp

Coopn disjunction condition.

See Also:
CoopnElement, Serialized Form

Field Summary
static java.lang.String SYMBOL
           
 
Constructor Summary
CoopnConditionOr(CoopnCondition left, CoopnCondition right)
          Simple constructor.
 
Method Summary
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoConditionBinOp createCocoConditionBinOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition left, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition right)
           
 boolean equals(java.lang.Object obj)
          Equality method.
 boolean isPositive()
          Checks if the condition is positive.
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm symbol()
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionBinOp
clone, hashCode, interpret, left, right, toCoco, toCompleteText, toCompleteTextTerm, toText, toTextTerm, unmodifiableCopy
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
cloneCoopnElement, pureCOIL, pureCOOPN, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

SYMBOL

public static final java.lang.String SYMBOL
Constructor Detail

CoopnConditionOr

public CoopnConditionOr(CoopnCondition left,
                        CoopnCondition right)
                 throws java.lang.IllegalArgumentException
Simple constructor. Build a condition based on a binary operator.
Method Detail

symbol

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextTerm symbol()
Overrides:
symbol in class CoopnConditionBinOp

isPositive

public boolean isPositive()
Description copied from class: CoopnCondition
Checks if the condition is positive. Must be correctly updated into the subclasses.
Overrides:
isPositive in class CoopnCondition
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCondition
Returns:
true iff the condition id based on atoms and conjunctions.

equals

public boolean equals(java.lang.Object obj)
Description copied from class: CoopnElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class CoopnConditionBinOp
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

createCocoConditionBinOp

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoConditionBinOp createCocoConditionBinOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition left,
                                                                                                          ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition right)
Overrides:
createCocoConditionBinOp in class CoopnConditionBinOp