|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicEqualGoal
Prolog-like equal goals.
Constructor Summary | |
LogicEqualGoal(LogicTerm left,
LogicTerm right)
Goal creator, for an array of sub-goals. |
Method Summary | |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
LogicTerm |
left()
Get the left term. |
LogicTerm |
right()
Get the right term. |
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 LogicEqualGoal(LogicTerm left, LogicTerm right)
Method Detail |
public LogicTerm left()
public LogicTerm right()
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 |