Package | Description |
---|---|
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.builtins |
Modifier and Type | Field and Description |
---|---|
(package private) HashMap<String,TernaryPredicate> |
BuiltInPredicateFilters.ternaryPredicates |
Modifier and Type | Method and Description |
---|---|
private TernaryPredicate |
BuiltInPredicateFilters.handleTernaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
MetaTermReferenceNode v3,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
void |
BuiltInPredicateFilters.addPredicate(TernaryPredicate predicate) |
Modifier and Type | Class and Description |
---|---|
class |
BinaryFunction |
class |
ConcatFunction |
class |
DifferenceFunction
(- ??n1 ??n2)
|
class |
DivisionFunction
(+ ??n1 ??n2)
|
class |
NthPredicate
(nth ??n ??elem ??sequence)
(n=0 pour le 1er �l�ment de la sequence)
|
class |
ProductFunction
(+ ??n1 ??n2)
|
class |
SumFunction
(+ ??n1 ??n2)
|