ubc.cs.JLog.Builtins.Goals
Class jTimeGoal
java.lang.Object
ubc.cs.JLog.Foundation.jGoal
ubc.cs.JLog.Builtins.Goals.jCallGoal
ubc.cs.JLog.Builtins.Goals.jTimeGoal
- All Implemented Interfaces:
- iName, iNameArity
public class jTimeGoal
- extends jCallGoal
Fields inherited from class ubc.cs.JLog.Foundation.jGoal |
next |
Method Summary |
int |
getArity()
Returns the arity of this instance. |
java.lang.String |
getName()
Returns the name of this instance. |
boolean |
prove(iGoalStack goals,
iGoalStack proved)
Attempt to prove the goal represented by this jGoal . |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
report_time_goal
protected jTimeGoal.jReportTimeGoal report_time_goal
jTimeGoal
public jTimeGoal(jTerm c)
prove
public boolean prove(iGoalStack goals,
iGoalStack proved)
- Description copied from class:
jGoal
- Attempt to prove the goal represented by this
jGoal
.
Goal must not be on either stack to prove (pop off goals stack before prove call).
Goal must place itself on the appropriate stack before returning.
proved
stack if 'proved', goals
stack otherwise.
Since proved doesn't pop the stack we don't need a try/catch block.
Must be called at least once before calling retry
.
- Overrides:
prove
in class jCallGoal
- Parameters:
goals
- iGoalStack
containing goals yet to be proved.proved
- iGoalStack
containing evaluated goals (goals
that may already be proved, or awaiting their child goals
to be proved).
- Returns:
boolean
is true if this goal ended up on
proved
, false otherwise.
getName
public java.lang.String getName()
- Description copied from interface:
iName
- Returns the name of this instance.
- Specified by:
getName
in interface iName
- Overrides:
getName
in class jCallGoal
- Returns:
String
containing name of this instance.
getArity
public int getArity()
- Description copied from interface:
iNameArity
- Returns the arity of this instance.
- Specified by:
getArity
in interface iNameArity
- Overrides:
getArity
in class jCallGoal
- Returns:
int
whose value is the arity of this instance.
toString
public java.lang.String toString()
- Overrides:
toString
in class jCallGoal