Package | Description |
---|---|
org.jpc.engine.embedded | |
org.jpc.engine.embedded.database | |
org.jpc.term.refterm |
Class and Description |
---|
ClauseDatabase |
MutableIndexManager |
Class and Description |
---|
ArgumentIndexFunction
An ArgumentIndexFunction maps the index of a compound term to one of its arguments in a given position.
|
Index |
IndexChangeListener |
IndexDescriptor
An index descriptor is modelled by an index function and a list of next Index Descriptors.
|
IndexedClauses
A repository of indexed clauses.
|
IndexManager
A manager of term indexes.
|
MutableIndexManager |
UpdatableIndexFunction |
Class and Description |
---|
MutableIndexManager |
Copyright © 2014. All rights reserved.