ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicCutAtom
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicCutAtom
- All Implemented Interfaces:
- LogicAtom, LogicFunctor, LogicGoal, LogicObject, LogicTerm
- public class LogicCutAtom
- extends java.lang.Object
- implements LogicAtom
Prolog-like cut atom. This class has no creator, but a method, namely get,
allowing to get an instance.
Method Summary |
boolean |
equals(java.lang.Object obj)
Equality method. |
static LogicCutAtom |
get()
Get a cut atom. |
int |
hashCode()
Hashcode method. |
java.lang.String |
toString()
String conversion method. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
LogicCutAtom
protected LogicCutAtom()
- Atom creator.
get
public static LogicCutAtom get()
- Get a cut atom.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
LogicObject
- Equality method.
- Specified by:
equals
in interface LogicObject
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Description copied from interface:
LogicObject
- Hashcode method.
- Specified by:
hashCode
in interface LogicObject
- Overrides:
hashCode
in class java.lang.Object
toString
public java.lang.String toString()
- Description copied from interface:
LogicObject
- String conversion method.
- Specified by:
toString
in interface LogicObject
- Overrides:
toString
in class java.lang.Object
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicObject
- Returns:
- a string image of the object, in a standard prolog form.