Module de.learnlib.filter.cache

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<net.automatalib.word.Word<I>,Boolean> cache)

Method Summary

Modifier and Type	Method	Description
Map<net.automatalib.word.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<net.automatalib.word.Word<I>,Boolean> cache)

Method Detail

getCache

public Map<net.automatalib.word.Word<I>,Boolean> getCache()