Package de.learnlib.filter.cache.dfa

Class DFAHashCacheOracle.DFAHashCacheOracleState<I>

java.lang.Object

de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState<I>

Enclosing class:

DFAHashCacheOracle<I>

public static class DFAHashCacheOracle.DFAHashCacheOracleState<I>
extends Object

Constructor Summary

Constructors

Constructor	Description
DFAHashCacheOracleState(Map<Word<I>,Boolean> cache)

Method Summary

Modifier and Type	Method	Description
Map<Word<I>,Boolean>	getCache()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFAHashCacheOracleState

public DFAHashCacheOracleState(Map<Word<I>,Boolean> cache)

Method Detail

getCache

public Map<Word<I>,Boolean> getCache()