ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnConditionNot

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

public class CoopnConditionNot
extends CoopnConditionUnOp

Coopn negation of condition.

See Also:
CoopnElement, Serialized Form

Field Summary
static java.lang.String SYMBOL
           
 
Constructor Summary
CoopnConditionNot(CoopnCondition sub)
          Simple constructor.
 
Method Summary
protected  ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoConditionUnOp createCocoConditionUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition sub)
           
 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.CoopnConditionUnOp
clone, hashCode, interpret, sub, 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

CoopnConditionNot

public CoopnConditionNot(CoopnCondition sub)
                  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 CoopnConditionUnOp

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

createCocoConditionUnOp

protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoConditionUnOp createCocoConditionUnOp(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoCondition sub)
Overrides:
createCocoConditionUnOp in class CoopnConditionUnOp