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
|
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 |
SYMBOL
public static final java.lang.String SYMBOL
CoopnConditionIsany
public CoopnConditionIsany(CoopnTerm left,
CoopnType 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 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