|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicDisjunctiveGoal
Prolog-like dijunctive goals.
Constructor Summary | |
LogicDisjunctiveGoal(LogicGoal goal)
Goal creator for a unique sub-goal. |
|
LogicDisjunctiveGoal(LogicGoal[] goals)
Goal creator, for an array of sub-goals. |
|
LogicDisjunctiveGoal(LogicGoal goal1,
LogicGoal goal2)
Goal creator for a binary conjunction of sub-goals. |
|
LogicDisjunctiveGoal(LogicGoal goal1,
LogicGoal goal2,
LogicGoal goal3)
Goal creator for a ternary conjunction of sub-goals. |
Method Summary | |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
int |
size()
Get the number of sub-goals. |
LogicGoal |
subGoal(int n)
Get the sub-goal number n, or null if it does not exist. |
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 LogicDisjunctiveGoal(LogicGoal[] goals)
public LogicDisjunctiveGoal(LogicGoal goal)
public LogicDisjunctiveGoal(LogicGoal goal1, LogicGoal goal2)
public LogicDisjunctiveGoal(LogicGoal goal1, LogicGoal goal2, LogicGoal goal3)
Method Detail |
public int size()
public LogicGoal subGoal(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 |