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> |