|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||