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

Packages that use jQuadaryBuiltinPredicate

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

Uses of jQuadaryBuiltinPredicate in ubc.cs.JLog.Builtins

Subclasses of jQuadaryBuiltinPredicate in ubc.cs.JLog.Builtins

class

jExpandTerm

Methods in ubc.cs.JLog.Builtins that return jQuadaryBuiltinPredicate

jQuadaryBuiltinPredicate

jExpandTerm.duplicate(jTerm t1, jTerm t2, jTerm t3, jTerm t4)

Uses of jQuadaryBuiltinPredicate in ubc.cs.JLog.Terms

Methods in ubc.cs.JLog.Terms that return jQuadaryBuiltinPredicate

protected abstract jQuadaryBuiltinPredicate

jQuadaryBuiltinPredicate.duplicate(jTerm t1, jTerm t2, jTerm t3, jTerm t4)

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

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

protected jQuadaryBuiltinPredicate

jQuadaryBuiltinPredicateGoal.predicate

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

jQuadaryBuiltinPredicateGoal(jQuadaryBuiltinPredicate p, jTerm t1, jTerm t2, jTerm t3, jTerm t4)