ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicParamAtom

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

public class LogicParamAtom
extends java.lang.Object
implements LogicFunctor

Prolog-like atom with parameters. An atom with parameters is always an atom based on an identifier.


Constructor Summary
LogicParamAtom(java.lang.String name, LogicObject param)
          Atom with a unique parameter creator.
LogicParamAtom(java.lang.String name, LogicObject[] params)
          Atom with an array of parameters creator.
LogicParamAtom(java.lang.String name, LogicObject param1, LogicObject param2)
          Atom with a two parameters creator.
LogicParamAtom(java.lang.String name, LogicObject param1, LogicObject param2, LogicObject param3)
          Atom with a three parameters creator.
 
Method Summary
 boolean equals(java.lang.Object obj)
          Equality method.
 int hashCode()
          Hashcode method.
 java.lang.String identifier()
           
 LogicObject parameter(int n)
          Get the parameter number n, or null if it does not exist.
 int parameterNumber()
          Get the number of parameters.
 java.lang.String toString()
          String conversion method.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LogicParamAtom

public LogicParamAtom(java.lang.String name,
                      LogicObject[] params)
Atom with an array of parameters creator.

LogicParamAtom

public LogicParamAtom(java.lang.String name,
                      LogicObject param)
Atom with a unique parameter creator.

LogicParamAtom

public LogicParamAtom(java.lang.String name,
                      LogicObject param1,
                      LogicObject param2)
Atom with a two parameters creator.

LogicParamAtom

public LogicParamAtom(java.lang.String name,
                      LogicObject param1,
                      LogicObject param2,
                      LogicObject param3)
Atom with a three parameters creator.
Method Detail

identifier

public java.lang.String identifier()

parameterNumber

public int parameterNumber()
Get the number of parameters.

parameter

public LogicObject parameter(int n)
Get the parameter number n, or null if it does not exist.

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.