public class DummyIndexEntry extends IndexEntry
Modifier and Type | Field and Description |
---|---|
static DummyIndexEntry |
check |
static DummyIndexEntry |
negScan |
term
Constructor and Description |
---|
DummyIndexEntry(ScanTerm term) |
Modifier and Type | Method and Description |
---|---|
void |
addCreate(FormulaCreate create) |
void |
uncreate() |
equals, getCreates, getImmediateWeight, hashCode, hasNoDepends, toString
public static DummyIndexEntry check
public static DummyIndexEntry negScan
public DummyIndexEntry(ScanTerm term)
public void uncreate()
uncreate
in class IndexEntry
public void addCreate(FormulaCreate create)
addCreate
in class IndexEntry