Package | Description |
---|---|
jade.semantics.kbase.filters.std.builtins |
Modifier and Type | Class and Description |
---|---|
class |
BinaryFunction |
class |
BinaryPredicate |
class |
CardFunction
(card ??set ??card)
|
class |
ConcatFunction |
class |
ConstantFunction |
class |
DifferenceFunction
(- ??n1 ??n2)
|
class |
DivisionFunction
(+ ??n1 ??n2)
|
class |
LesserThanOrEqualPredicate
(<= ??x1 ??x2)
|
class |
LesserThanPredicate
(< ??x1 ??x2)
|
class |
MemberPredicate
(member ??x ??set_or_sequence)
|
class |
NowFunction |
class |
NthPredicate
(nth ??n ??elem ??sequence)
(n=0 pour le 1er �l�ment de la sequence)
|
class |
ProductFunction
(+ ??n1 ??n2)
|
class |
SumFunction
(+ ??n1 ??n2)
|
class |
TernaryPredicate |
class |
UnaryFunction |
class |
UnaryPredicate |
class |
YearFunction
(card ??set ??card)
|