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
|
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 |
SYMBOL
public static final java.lang.String SYMBOL
CoopnConditionOr
public CoopnConditionOr(CoopnCondition left,
CoopnCondition right)
throws java.lang.IllegalArgumentException
- Simple constructor. Build a condition based on a binary operator.
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