FormulaFindGroundRand

Methods
Modifier and Type	Method and Description
`void`	`add(IndexEntry ti)`
`void`	`clear()`
`java.lang.String`	`configToString()`
`IndexEntry`	`contains(ScanTerm t)`
`int`	`estimateMatching(ScanTerm t, Binds binds)`
`IRandomAccessible<IndexEntry>`	`find(ScanTerm t, Binds binds)`
`java.util.Iterator<IndexEntry>`	`getGroundTerms()`
`void`	`loadConfig(java.lang.String[] lines)`
`ScanTerm`	`randomMatch(ATerm[] specifiers)`
`void`	`remove(ScanTerm t, boolean defined)`
`int`	`size()`

ScanTerm randomMatch(ATerm[] specifiers)

void loadConfig(java.lang.String[] lines)

void remove(ScanTerm t,
          boolean defined)

IRandomAccessible<IndexEntry> find(ScanTerm t,
                                 Binds binds)

int estimateMatching(ScanTerm t,
                   Binds binds)

java.util.Iterator<IndexEntry> getGroundTerms()

Interface FormulaFindGroundRand