|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicParamAtom
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 |
public LogicParamAtom(java.lang.String name, LogicObject[] params)
public LogicParamAtom(java.lang.String name, LogicObject param)
public LogicParamAtom(java.lang.String name, LogicObject param1, LogicObject param2)
public LogicParamAtom(java.lang.String name, LogicObject param1, LogicObject param2, LogicObject param3)
Method Detail |
public java.lang.String identifier()
public int parameterNumber()
public LogicObject parameter(int n)
public boolean equals(java.lang.Object obj)
LogicObject
equals
in interface LogicObject
equals
in class java.lang.Object
public int hashCode()
LogicObject
hashCode
in interface LogicObject
hashCode
in class java.lang.Object
public java.lang.String toString()
LogicObject
toString
in interface LogicObject
toString
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicObject
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |