ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicIntegerAtom
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicIntegerAtom
- All Implemented Interfaces:
- LogicAtom, LogicFunctor, LogicGoal, LogicObject, LogicTerm
- public class LogicIntegerAtom
- extends java.lang.Object
- implements LogicAtom
Prolog-like integer atom.
Method Summary |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
java.lang.String |
identifier()
|
java.lang.String |
toString()
String conversion method. |
int |
value()
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
LogicIntegerAtom
public LogicIntegerAtom(int value)
- Atom creator. An integer (normal) atom is composed of a number.
identifier
public java.lang.String identifier()
value
public int value()
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.