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

Packages that use jTrinaryBuiltinPredicateGoal

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

Uses of jTrinaryBuiltinPredicateGoal in ubc.cs.JLog.Builtins

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

boolean	jArg.prove(jTrinaryBuiltinPredicateGoal ag)
boolean	jConvertArray.prove(jTrinaryBuiltinPredicateGoal cag)

Uses of jTrinaryBuiltinPredicateGoal in ubc.cs.JLog.Terms

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

boolean

jTrinaryBuiltinPredicate.prove(jTrinaryBuiltinPredicateGoal bg)