ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnConditionIsany

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

public class CoopnConditionIsany
extends CoopnTypeCondition

Coopn isany condition.

See Also:
CoopnElement, Serialized Form

Field Summary
static java.lang.String SYMBOL
           
 
Constructor Summary
CoopnConditionIsany(CoopnTerm left, CoopnType right)
          Simple constructor.
 
Method Summary
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTypeCondition createCocoTypeCondition(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm left, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoType 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.CoopnTypeCondition
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

CoopnConditionIsany

public CoopnConditionIsany(CoopnTerm left,
                           CoopnType 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 CoopnTypeCondition

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 CoopnTypeCondition
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.

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.

createCocoTypeCondition

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTypeCondition createCocoTypeCondition(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoTerm left,
                                                                                                        ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoType right)
Overrides:
createCocoTypeCondition in class CoopnTypeCondition