Package de.learnlib.algorithm.ttt.base

Class OutputInconsistency<I,D>

java.lang.Object

de.learnlib.algorithm.ttt.base.OutputInconsistency<I,D>

Type Parameters:

I - input symbol type

D - output domain type

public class OutputInconsistency<I,D>
extends Object

Class for representing output inconsistencies within the TTT algorithm.

Field Summary

Fields

Modifier and Type	Field	Description
TTTState<I,D>	srcState
Word<I>	suffix
D	targetOut

Constructor Summary

Constructors

Constructor	Description
OutputInconsistency(TTTState<I,D> srcState, Word<I> suffix, D targetOut)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

srcState

public final TTTState<I,D> srcState

suffix

public final Word<I> suffix

targetOut

public final D targetOut

Constructor Detail

OutputInconsistency

public OutputInconsistency(TTTState<I,D> srcState,
                           Word<I> suffix,
                           D targetOut)