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

Packages that use jQuadaryBuiltinPredicateGoal

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

Uses of jQuadaryBuiltinPredicateGoal in ubc.cs.JLog.Builtins

Methods in ubc.cs.JLog.Builtins with parameters of type jQuadaryBuiltinPredicateGoal

boolean

jExpandTerm.prove(jQuadaryBuiltinPredicateGoal eg)

Uses of jQuadaryBuiltinPredicateGoal in ubc.cs.JLog.Terms

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

boolean

jQuadaryBuiltinPredicate.prove(jQuadaryBuiltinPredicateGoal bg)