ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicFalseAtom

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicFalseAtom
All Implemented Interfaces:
LogicAtom, LogicFunctor, LogicGoal, LogicObject, LogicTerm

public class LogicFalseAtom
extends java.lang.Object
implements LogicAtom

Prolog-like false atom. This class has no creator, but a method, namely get, allowing to get an instance.


Constructor Summary
protected LogicFalseAtom()
          Atom creator.
 
Method Summary
 boolean equals(java.lang.Object obj)
          Equality method.
static LogicFalseAtom get()
          Get a false 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
 

Constructor Detail

LogicFalseAtom

protected LogicFalseAtom()
Atom creator.
Method Detail

get

public static LogicFalseAtom get()
Get a false 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.