Package | Description |
---|---|
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.builtins |
Class and Description |
---|
BinaryPredicate |
TernaryPredicate |
UnaryPredicate |
Class and Description |
---|
BinaryFunction |
BinaryPredicate |
BuiltInPredicate |
ConstantFunction |
LesserThanPredicate
(< ??x1 ??x2)
|
TernaryPredicate |
UnaryFunction |
UnaryPredicate |