public class SingleNumValueDefinition extends FiltersDefinition
Modifier and Type | Field and Description |
---|---|
(package private) IdentifyingExpression |
IOTA_VALUE |
(package private) IdentifyingExpression |
IOTA_VALUE_GT |
(package private) IdentifyingExpression |
IOTA_VALUE_NOT_GT |
(package private) Formula |
NOT_VALUE_GT_X_PATTERN |
(package private) Formula |
NOT_VALUE_X_PATTERN |
(package private) Formula |
VALUE_GT_X_PATTERN |
(package private) Formula |
VALUE_X_PATTERN
Patterns used to manage the defined predicat
|
Constructor and Description |
---|
SingleNumValueDefinition(String name)
Constructor
|
Modifier and Type | Method and Description |
---|---|
protected void |
cleanKBase(FilterKBase kbase)
Removes from the base all the belief about this kind of predicat
|
defineFilter, defineFilter, getFilterDefinition
Formula VALUE_X_PATTERN
Formula NOT_VALUE_X_PATTERN
Formula VALUE_GT_X_PATTERN
Formula NOT_VALUE_GT_X_PATTERN
IdentifyingExpression IOTA_VALUE
IdentifyingExpression IOTA_VALUE_GT
IdentifyingExpression IOTA_VALUE_NOT_GT
public SingleNumValueDefinition(String name)
name
- name of the predicatprotected void cleanKBase(FilterKBase kbase)
kbase
- the base to clean