ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicDisjunctiveGoal

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicDisjunctiveGoal
All Implemented Interfaces:
LogicGoal, LogicObject

public class LogicDisjunctiveGoal
extends java.lang.Object
implements LogicGoal

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

LogicDisjunctiveGoal

public LogicDisjunctiveGoal(LogicGoal[] goals)
Goal creator, for an array of sub-goals.

LogicDisjunctiveGoal

public LogicDisjunctiveGoal(LogicGoal goal)
Goal creator for a unique sub-goal.

LogicDisjunctiveGoal

public LogicDisjunctiveGoal(LogicGoal goal1,
                            LogicGoal goal2)
Goal creator for a binary conjunction of sub-goals.

LogicDisjunctiveGoal

public LogicDisjunctiveGoal(LogicGoal goal1,
                            LogicGoal goal2,
                            LogicGoal goal3)
Goal creator for a ternary conjunction of sub-goals.
Method Detail

size

public int size()
Get the number of sub-goals.

subGoal

public LogicGoal subGoal(int n)
Get the sub-goal number n, or null if it does not exist.

equals

public boolean equals(java.lang.Object obj)
Description copied from interface: LogicObject
Equality method.
Specified by:
equals in interface LogicObject
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Description copied from interface: LogicObject
Hashcode method.
Specified by:
hashCode in interface LogicObject
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Description copied from interface: LogicObject
String conversion method.
Specified by:
toString in interface LogicObject
Overrides:
toString in class java.lang.Object
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicObject
Returns:
a string image of the object, in a standard prolog form.