Module de.learnlib.filter.cache

Package de.learnlib.filter.cache.mealy

Class AdaptiveQueryCache.AdaptiveQueryCacheState<I,O>

java.lang.Object

de.learnlib.filter.cache.mealy.AdaptiveQueryCache.AdaptiveQueryCacheState<I,O>

Enclosing class:

AdaptiveQueryCache<I,O>

public static class AdaptiveQueryCache.AdaptiveQueryCacheState<I,O>
extends Object

Method Summary

Methods inherited from class java.lang.Object

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