| Package | Description |
|---|---|
| com.ibm.bluej.consistency | |
| com.ibm.bluej.consistency.util |
| Modifier and Type | Method and Description |
|---|---|
IRandomAccessible<IndexEntry> |
FormulaFindGroundAdaptive.find(ScanTerm t,
Binds binds) |
IRandomAccessible<IndexEntry> |
FormulaFindGroundRand.find(ScanTerm t,
Binds binds) |
IRandomAccessible<Formula> |
GroundFindFormulaMap.findMatching(boolean positive,
ScanTerm term) |
| Modifier and Type | Class and Description |
|---|---|
class |
ApproxRandSet<T> |
class |
RandArray<T> |
class |
RandomSet<T> |
class |
RandSingle<T> |