|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ubc.cs.JLog.Builtins.Goals | |
|---|---|
| ubc.cs.JLog.Builtins | |
| ubc.cs.JLog.Builtins.Goals | |
| Classes in ubc.cs.JLog.Builtins.Goals used by ubc.cs.JLog.Builtins | |
|---|---|
| jAppendArrayGoal
Goal for appending terms to array of terms. |
|
| jAssertGoal
|
|
| jCompareGoal
|
|
| jCopyGoal
|
|
| jCurrentOpListGoal
|
|
| jEnumerateVariablesArrayGoal
|
|
| jEquivalenceGoal
|
|
| jEquivGoal
|
|
| jFunctorGoal
|
|
| jGetArrayElementGoal
Goal for getting the term element of an array at a given index. |
|
| jIntersectArrayGoal
Goal for getting the intersection of term arrays. |
|
| jIsGoal
|
|
| jNameGoal
|
|
| jOperatorGoal
|
|
| jReadGoal
Goal for inputing text from the console. |
|
| jRetractGoal
|
|
| jSetArrayElementGoal
Goal for setting the term element of an array at a given index. |
|
| jSortGoal
|
|
| jSubtractArrayGoal
Goal for subtracting terms from array of terms. |
|
| jTermToListGoal
|
|
| jUnaryArithmeticGoal
|
|
| jUnaryOperatorGoal
|
|
| jUnionArrayGoal
Goal for getting the union of term arrays. |
|
| Classes in ubc.cs.JLog.Builtins.Goals used by ubc.cs.JLog.Builtins.Goals | |
|---|---|
| jCallGoal
|
|
| jTimeGoal
|
|
| jTimeGoal.jReportTimeGoal
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||