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, toStringpublic static DummyIndexEntry check
public static DummyIndexEntry negScan
public DummyIndexEntry(ScanTerm term)
public void uncreate()
uncreate in class IndexEntrypublic void addCreate(FormulaCreate create)
addCreate in class IndexEntry