|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AsyncOracleImpl | |
| CacheOracle | |
| FileCacheOracle | |
| PooledOracle | Thread safe oracle that holds a collection of oracles. |
| PrefixClosureFilter | A prefix closure filter answers known prefixes that ends up
with some specific output (contained in PrefixClosureFilter.rejectedSymbols)
with a special defines output. |
| PrefixEnforcementFilter | will always execute a prefix before executing the membership query and will strip the corresponding prefix from the oracle's answer. |
| SimulatorOracle | |
| SimulatorOracleDFA | |
| Enum Summary | |
|---|---|
| PrefixClosureFilter.AppliedAction | For unit testing purposes. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||