Package | Description |
---|---|
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.builtins |
Modifier and Type | Field and Description |
---|---|
(package private) HashMap<String,BinaryPredicate> |
BuiltInPredicateFilters.binaryPredicates |
Modifier and Type | Method and Description |
---|---|
private BinaryPredicate |
BuiltInPredicateFilters.handleBinaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
void |
BuiltInPredicateFilters.addPredicate(BinaryPredicate predicate) |
Modifier and Type | Class and Description |
---|---|
class |
CardFunction
(card ??set ??card)
|
class |
LesserThanOrEqualPredicate
(<= ??x1 ??x2)
|
class |
LesserThanPredicate
(< ??x1 ??x2)
|
class |
MemberPredicate
(member ??x ??set_or_sequence)
|
class |
UnaryFunction |
class |
YearFunction
(card ??set ??card)
|