| Interface | Description |
|---|---|
| IndexChangeListener |
| Class | Description |
|---|---|
| ArgumentIndexFunction |
An ArgumentIndexFunction maps the index of a compound term to one of its arguments in a given position.
|
| ClauseDatabase | |
| FunctorIndexFunction |
Index function mapping a term to its functor name.
|
| Index | |
| IndexDescriptor |
An index descriptor is modelled by an index function and a list of next Index Descriptors.
|
| IndexDescriptorAdapter | |
| IndexedClauseIterator | |
| IndexedClauses |
A repository of indexed clauses.
|
| IndexManager |
A manager of term indexes.
|
| MutableIndexManager | |
| UpdatableIndexFunction<T extends Term,U> |
| Exception | Description |
|---|---|
| NonIndexableTermException |
Copyright © 2014. All rights reserved.