|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicList
Prolog-like list. A list is a functor.
Constructor Summary | |
LogicList()
Empty list creator. |
|
LogicList(LogicObject param)
Atom with a unique parameter creator. |
|
LogicList(LogicObject[] params)
Atom with an array of parameters creator. |
|
LogicList(LogicObject param1,
LogicObject param2)
Atom with a two parameters creator. |
|
LogicList(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 LogicList()
public LogicList(LogicObject[] params)
public LogicList(LogicObject param)
public LogicList(LogicObject param1, LogicObject param2)
public LogicList(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 |