jade.semantics.kbase.filters

Class FilterKBaseImpl.Cache

java.lang.Object

jade.semantics.kbase.filters.FilterKBaseImpl.Cache

Enclosing class:

FilterKBaseImpl

static class FilterKBaseImpl.Cache
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	FilterKBaseImpl.Cache.CacheElement

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static int	CACHE_SIZE
(package private) FilterKBaseImpl.Cache.CacheElement[]	elements
(package private) int	filledSize

Constructor Summary

Constructors

Constructor and Description
Cache()

Method Summary

Modifier and Type	Method and Description
protected void	add(Formula formula, QueryResult result, ArrayList reasons)
protected void	clear()
protected FilterKBaseImpl.Cache.CacheElement	query(Formula formula)

Methods inherited from class java.lang.Object

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

Field Detail

CACHE_SIZE

static int CACHE_SIZE

elements

FilterKBaseImpl.Cache.CacheElement[] elements

filledSize

int filledSize

Constructor Detail

Cache

Cache()

Method Detail

query

protected FilterKBaseImpl.Cache.CacheElement query(Formula formula)

add

protected void add(Formula formula,
                   QueryResult result,
                   ArrayList reasons)

clear

protected void clear()