public class EvidIndexEntry extends IndexEntry
term| Constructor and Description |
|---|
EvidIndexEntry(ScanTerm term) |
| Modifier and Type | Method and Description |
|---|---|
void |
addCreate(FormulaCreate create) |
void |
uncreate() |
equals, getCreates, getImmediateWeight, hashCode, hasNoDepends, toStringpublic EvidIndexEntry(ScanTerm term)
public void uncreate()
uncreate in class IndexEntrypublic void addCreate(FormulaCreate create)
addCreate in class IndexEntry