|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jGoal
ubc.cs.JLog.Extras.BSF.jInvokeGoal
public class jInvokeGoal
This file is part of the JLog BSF library.
Field Summary | |
---|---|
protected jTerm |
bean
|
protected static boolean |
DEBUG
|
protected JLogBSFEngine |
engine
|
protected jTerm |
methodName
|
protected jTerm |
parameters
|
protected jTerm |
result
|
protected jTerm |
types
|
protected jUnifiedVector |
unified
|
Fields inherited from class ubc.cs.JLog.Foundation.jGoal |
---|
next |
Constructor Summary | |
---|---|
jInvokeGoal(jTerm t1,
jTerm t2,
jTerm t3,
jTerm t4,
JLogBSFEngine engineParam)
|
|
jInvokeGoal(jTerm t1,
jTerm t2,
jTerm t3,
jTerm t4,
jTerm t5,
JLogBSFEngine engineParam)
|
Method Summary | |
---|---|
int |
getArity()
Returns the arity of this instance. |
java.lang.String |
getName()
Returns the name of this instance. |
protected java.lang.reflect.Method |
getSuitableMethod(java.lang.Class clazz,
java.lang.String methodNameStr,
java.lang.Object[] parameterValues)
|
void |
internal_restore(iGoalStack goals)
Combines internal_remove with a full restart and resoration of
any previous variable state. |
boolean |
prove(iGoalStack goals,
iGoalStack proved)
Attempt to prove the goal represented by this jGoal . |
boolean |
retry(iGoalStack goals,
iGoalStack proved)
Attempt to prove the goal represented by this jGoal . |
java.lang.String |
toString()
|
Methods inherited from class ubc.cs.JLog.Foundation.jGoal |
---|
internal_remove |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected static final boolean DEBUG
protected jTerm result
protected jTerm bean
protected jTerm methodName
protected jTerm types
protected jTerm parameters
protected jUnifiedVector unified
protected JLogBSFEngine engine
Constructor Detail |
---|
public jInvokeGoal(jTerm t1, jTerm t2, jTerm t3, jTerm t4, JLogBSFEngine engineParam)
public jInvokeGoal(jTerm t1, jTerm t2, jTerm t3, jTerm t4, jTerm t5, JLogBSFEngine engineParam)
Method Detail |
---|
public boolean prove(iGoalStack goals, iGoalStack proved)
jGoal
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
.
prove
in class jGoal
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).
boolean
is true if this goal ended up on
proved
, false otherwise.protected java.lang.reflect.Method getSuitableMethod(java.lang.Class clazz, java.lang.String methodNameStr, java.lang.Object[] parameterValues)
public boolean retry(iGoalStack goals, iGoalStack proved)
jGoal
jGoal
.
Goal must not be on either stack to retry (pop off proved stack before retry call).
Goal must place itself on the goal stack, and normally need not pop either stack.
Since retry doesn't pop the stack we don't need a try/catch block.
retry
in class jGoal
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).
boolean
is true if the prover should attempt
a prove on this goal, false otherwise.public void internal_restore(iGoalStack goals)
jGoal
internal_remove
with a full restart and resoration of
any previous variable state. May be called by other goals, such as a
jCutGoal
. this is still located on proved stack.
internal_restore
in class jGoal
goals
- iGoalStack
containing goals yet to be proved.public java.lang.String getName()
iName
String
containing name of this instance.public int getArity()
iNameArity
int
whose value is the arity of this instance.public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |