casa.jade

Class SingleValueDefinition

java.lang.Object

jade.util.leap.ArrayList

jade.semantics.kbase.filters.FiltersDefinition

casa.jade.SingleValueDefinition

All Implemented Interfaces:

Collection, List, Serializable

public class SingleValueDefinition
extends FiltersDefinition

General class that defines single value predicate.

Version:

0.9

Author:

Vincent Louis - France Telecom

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private IdentifyingExpression	IOTA_VALUE
private Formula	NOT_VALUE_X_PATTERN
private Formula	VALUE_X_PATTERN Patterns used to manage the defined predicate

Constructor Summary

Constructors

Constructor and Description
SingleValueDefinition(String name) Constructor

Method Summary

Modifier and Type	Method and Description
protected void	cleanKBase(FilterKBase kbase) Removes from the base all the belief about this kind of predicate

Methods inherited from class jade.semantics.kbase.filters.FiltersDefinition

defineFilter, defineFilter, getFilterDefinition

Methods inherited from class jade.util.leap.ArrayList

add, add, clear, clone, contains, fromList, get, indexOf, isEmpty, iterator, remove, remove, size, toArray, toList, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

VALUE_X_PATTERN

private Formula VALUE_X_PATTERN

Patterns used to manage the defined predicate

NOT_VALUE_X_PATTERN

private Formula NOT_VALUE_X_PATTERN

IOTA_VALUE

private IdentifyingExpression IOTA_VALUE

Constructor Detail

SingleValueDefinition

public SingleValueDefinition(String name)

Constructor

Parameters:

name - name of the predicate

Method Detail

cleanKBase

protected void cleanKBase(FilterKBase kbase)

Removes from the base all the belief about this kind of predicate

Parameters:

kbase - the base to clean