Uses of Class
ubc.cs.JLog.Terms.jOrPredicate

Packages that use jOrPredicate

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

Uses of jOrPredicate in ubc.cs.JLog.Terms

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

protected void

jPredicateTerms.makeOrPredicateTerms(jOrPredicate orpred, jTerm term) Add jOr separated jTerms to the provided jOrPredicate.

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

Fields in ubc.cs.JLog.Terms.Goals declared as jOrPredicate

protected jOrPredicate

jOrGoal.or_predicate

Constructors in ubc.cs.JLog.Terms.Goals with parameters of type jOrPredicate

jOrGoal(jOrPredicate op, jGoal g, jGoal end)

jOrGoalWVars(jOrPredicate op, jGoal g, jVariable[] v, jGoal end)