de.learnlib.algorithms.lstar

Class AutomatonLStarState<I,D,AI,S>

java.lang.Object

de.learnlib.algorithms.lstar.AbstractLStarState<I,D>

de.learnlib.algorithms.lstar.AutomatonLStarState<I,D,AI,S>

Type Parameters:

I - The input alphabet type.

D - The output domain type.

AI - The hypothesis type.

S - The hypothesis state type.

All Implemented Interfaces:

Serializable

public class AutomatonLStarState<I,D,AI,S>
extends AbstractLStarState<I,D>

Class that contains all data that represent the internal state of the AbstractAutomatonLStar learner and its DFA and Mealy implementations.

Author:

bainczyk

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AutomatonLStarState(GenericObservationTable<I,D> observationTable, AI hypothesis, List<de.learnlib.algorithms.lstar.AbstractAutomatonLStar.StateInfo<S,I>> stateInfos)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonLStarState

public AutomatonLStarState(GenericObservationTable<I,D> observationTable,
                           AI hypothesis,
                           List<de.learnlib.algorithms.lstar.AbstractAutomatonLStar.StateInfo<S,I>> stateInfos)