|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ubc.cs.JLog.Builtins | |
|---|---|
| ubc.cs.JLog.Builtins | |
| ubc.cs.JLog.Builtins.Goals | |
| Classes in ubc.cs.JLog.Builtins used by ubc.cs.JLog.Builtins | |
|---|---|
| iArithmetic
The extending interface for arithmetic operators (which must also inherit from an operator class). |
|
| jAssert
|
|
| jCall
|
|
| jEquivalence
|
|
| jEquivalent
|
|
| jIntegerArithmetic
|
|
| jIntegerOnlyArithmetic
|
|
| jIsType
|
|
| jNumericComparison
|
|
| jOperator
|
|
| jRealArithmetic
|
|
| jRealUnaryArithmetic
A flexible abstract class for unary arithmetic. |
|
| jSort
|
|
| jUnaryArithmetic
The abstract class for unary arithmetic operators. |
|
| jUnaryOperator
|
|
| Classes in ubc.cs.JLog.Builtins used by ubc.cs.JLog.Builtins.Goals | |
|---|---|
| jAppendArray
|
|
| jAssert
|
|
| jCompare
|
|
| jCopyTerm
|
|
| jCurrentOpList
|
|
| jEnumerateVariablesArray
|
|
| jEquivalence
|
|
| jEquivalent
|
|
| jFunctor
|
|
| jGetArrayElement
|
|
| jIntersectArray
|
|
| jIs
|
|
| jName
|
|
| jOperator
|
|
| jRead
|
|
| jRetract
|
|
| jSetArrayElement
|
|
| jSort
|
|
| jSubtractArray
|
|
| jTermToList
|
|
| jUnaryArithmetic
The abstract class for unary arithmetic operators. |
|
| jUnaryOperator
|
|
| jUnionArray
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||