|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
jAppendArrayGoal | Goal for appending terms to array of terms. |
jAssertGoal | |
jCallGoal | |
jCallNGoal | |
jCompareGoal | |
jCopyGoal | |
jCurrentOpListGoal | |
jCutGoal | |
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 | |
jOpGoal | |
jReadGoal | Goal for inputing text from the console. |
jRepeatGoal | |
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 | |
jTimeGoal | |
jUnaryArithmeticGoal | |
jUnaryOperatorGoal | |
jUnionArrayGoal | Goal for getting the union of term arrays. |
jWriteGoal | Goal for displaying text to the console. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |