ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicIdAtom
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicIdAtom
- All Implemented Interfaces:
- LogicAtom, LogicFunctor, LogicGoal, LogicObject, LogicTerm
- public class LogicIdAtom
- extends java.lang.Object
- implements LogicAtom
Prolog-like identifier atom.
Constructor Summary |
LogicIdAtom(java.lang.String name)
Atom creator. |
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. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
LogicIdAtom
public LogicIdAtom(java.lang.String name)
- Atom creator. An identifier (normal) atom is composed of an identifier, which is a name
starting with a lowercase character.
identifier
public java.lang.String identifier()
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.