Serialized Form

Package de.learnlib.filter.cache.dfa

Class de.learnlib.filter.cache.dfa.DFACacheOracle.DFACacheOracleState extends Object implements Serializable

Serialized Fields

builder

IncrementalDFABuilder<I> builder

Class de.learnlib.filter.cache.dfa.DFAHashCacheOracle.DFAHashCacheOracleState extends Object implements Serializable

Serialized Fields

cache

Map<K,V> cache

Package de.learnlib.filter.cache.mealy

Class de.learnlib.filter.cache.mealy.MealyCacheOracle.MealyCacheOracleState extends Object implements Serializable

Serialized Fields

builder

IncrementalMealyBuilder<I,O> builder

Class de.learnlib.filter.cache.mealy.StateLocalInputMealyCacheOracle.StateLocalInputMealyCacheOracleState extends Object implements Serializable

Serialized Fields

builder

IncrementalMealyBuilder<I,O> builder

enabledInputs

Map<K,V> enabledInputs

Class de.learnlib.filter.cache.mealy.SymbolQueryCache.SymbolQueryCacheState extends Object implements Serializable

Serialized Fields

cache

CompactMealy<I,O> cache

Package de.learnlib.filter.cache.sul

Class de.learnlib.filter.cache.sul.SULCache.SULCacheState extends Object implements Serializable

Serialized Fields

builder

IncrementalMealyBuilder<I,O> builder