public class Index extends Object implements IndexChangeListener
Constructor and Description |
---|
Index(IndexDescriptor indexDescriptor) |
Modifier and Type | Method and Description |
---|---|
void |
addClause(Clause clause) |
IndexedClauses |
getIndexedClauses(Term head) |
UpdatableIndexFunction<Term,?> |
getIndexFunction() |
Set<Clause> |
getNonIndexedClauses() |
IndexedClauses |
getOrCreateIndexedClauses(Term head) |
boolean |
isIndexable(Term head) |
void |
onIndexChange(UpdatableIndexFunction<Term,Object> updatableIndexFunction) |
void |
rebuild() |
void |
reset() |
void |
retract(Clause clause) |
public Index(IndexDescriptor indexDescriptor)
public UpdatableIndexFunction<Term,?> getIndexFunction()
public Set<Clause> getNonIndexedClauses()
public boolean isIndexable(Term head)
public void reset()
public IndexedClauses getIndexedClauses(Term head)
public IndexedClauses getOrCreateIndexedClauses(Term head)
public void addClause(Clause clause)
public void retract(Clause clause)
public void rebuild()
public void onIndexChange(UpdatableIndexFunction<Term,Object> updatableIndexFunction)
onIndexChange
in interface IndexChangeListener
Copyright © 2014. All rights reserved.