|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use jUnaryBuiltinPredicateGoal | |
|---|---|
| ubc.cs.JLog.Terms | |
| Uses of jUnaryBuiltinPredicateGoal in ubc.cs.JLog.Terms |
|---|
| Methods in ubc.cs.JLog.Terms with parameters of type jUnaryBuiltinPredicateGoal | |
|---|---|
boolean |
jUnaryBuiltinPredicate.prove(jUnaryBuiltinPredicateGoal ug)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||