|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicClause
Prolog-like clause.
Constructor Summary | |
LogicClause(LogicTerm head,
LogicGoal body)
Atom with parameters creator. |
Method Summary | |
LogicGoal |
body()
|
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
LogicTerm |
head()
|
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 LogicClause(LogicTerm head, LogicGoal body)
Method Detail |
public LogicTerm head()
public LogicGoal body()
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 |