Uses of Class
ubc.cs.JLog.Terms.Goals.jOrGoal

Packages that use jOrGoal

ubc.cs.JLog.Terms
ubc.cs.JLog.Terms.Goals

Uses of jOrGoal in ubc.cs.JLog.Terms

Methods in ubc.cs.JLog.Terms with parameters of type jOrGoal

boolean	jOrPredicate.prove(jOrGoal og, jGoal g, iGoalStack goals)
boolean	jOrPredicate.prove(jOrGoal og, jGoal g, jVariable[] vars, iGoalStack goals)
boolean	jOrPredicate.retry(jOrGoal og)

Uses of jOrGoal in ubc.cs.JLog.Terms.Goals

Subclasses of jOrGoal in ubc.cs.JLog.Terms.Goals

class

jOrGoalWVars