| AbstractLoopProcedure |
|
| And |
Tests true iff
none of its children test false.
|
| BaseBinaryPredicateList |
|
| BasePredicateList |
|
| BaseUnaryPredicateList |
|
| BinaryAnd |
Tests true iff
none of its children test false.
|
| BinaryCompositeBinaryFunction |
A BinaryFunction composed of
three binary functions, f, g and h,
evaluating the ordered parameters x, y
to f(g(x,y),h(x,y)).
|
| BinaryCompositeBinaryFunction.Helper |
Type-remembering Helper.
|
| BinaryNot |
Tests to the logical inverse
of some other predicate.
|
| BinaryOr |
Tests true iff
at least one of its children test true.
|
| BinarySequence |
|
| CompositeUnaryFunction |
|
| CompositeUnaryFunction.Helper |
Encapsulates a double function evaluation.
|
| CompositeUnaryPredicate |
|
| CompositeUnaryProcedure |
|
| ConditionalBinaryFunction |
A BinaryFunction
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalBinaryPredicate |
A BinaryPredicate
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalBinaryProcedure |
A BinaryProcedure
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalFunction |
A Function
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalPredicate |
A Predicate
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalProcedure |
A Procedure
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalUnaryFunction |
A UnaryFunction
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalUnaryPredicate |
A UnaryPredicate
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| ConditionalUnaryProcedure |
A UnaryProcedure
similiar to Java's "ternary"
or "conditional" operator ( ? :).
|
| Not |
Tests to the logical inverse
of some other predicate.
|
| Or |
Tests true iff
at least one of its children test true.
|
| Sequence |
|
| TransformedBinaryFunction |
A BinaryFunction whose result is then run through a UnaryFunction.
|
| TransformedBinaryFunction.Helper |
Type-remembering helper.
|
| TransformedBinaryProcedure |
A BinaryProcedure composed of a BinaryFunction whose result is then run through a UnaryProcedure.
|
| TransformedBinaryProcedure.Helper |
Type-remembering helper.
|
| TransformedFunction |
A Function whose result is then run through a UnaryFunction.
|
| TransformedFunction.Helper |
Type-remembering helper.
|
| TransformedProcedure |
A Procedure composed of a Function whose result is then run through a UnaryProcedure.
|
| TransformedProcedure.Helper |
Type-remembering helper.
|
| TransposedFunction |
Transposes (swaps) the arguments to some other
function.
|
| TransposedPredicate |
Transposes (swaps) the arguments to some other
predicate.
|
| TransposedProcedure |
Transposes (swaps) the arguments to some other
procedure.
|
| UnaryAnd |
Tests true iff
none of its children test false.
|
| UnaryCompositeBinaryFunction |
A BinaryFunction composed of
one binary function, f, and two unary
functions, g and h,
evaluating the ordered parameters x, y
to f(g(x),h(y)).
|
| UnaryCompositeBinaryFunction.Helper |
|
| UnaryCompositeBinaryPredicate |
A BinaryPredicate composed of
one binary predicate, p, and two unary
functions, f and g,
evaluating the ordered parameters x, y
to p(f(x),g(y)).
|
| UnaryCompositeBinaryPredicate.Helper |
Internal helper.
|
| UnaryNot |
Tests to the logical inverse
of some other predicate.
|
| UnaryOr |
Tests true iff
at least one of its children test true.
|
| UnarySequence |
|