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, toString
public EvidIndexEntry(ScanTerm term)
public void uncreate()
uncreate
in class IndexEntry
public void addCreate(FormulaCreate create)
addCreate
in class IndexEntry