de.learnlib.algorithms.kv

Class StateInfo<I,D>

java.lang.Object

de.learnlib.algorithms.kv.StateInfo<I,D>

Type Parameters:

I - input symbol type

D - data type

All Implemented Interfaces:

Serializable

public final class StateInfo<I,D>
extends Object
implements Serializable

The information associated with a state: it's access sequence (or access string), and the list of incoming transitions.

Author:

Malte Isberner

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
Word<I>	accessSequence
AbstractWordBasedDTNode<I,D,StateInfo<I,D>>	dtNode
int	id

Constructor Summary

Constructors

Constructor and Description
StateInfo(int id, Word<I> accessSequence)

Method Summary

Modifier and Type	Method and Description
void	addIncoming(int sourceState, int transIdx)
List<Long>	fetchIncoming()

Methods inherited from class java.lang.Object

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

Field Detail

id

public final int id

accessSequence

public final Word<I> accessSequence

dtNode

public AbstractWordBasedDTNode<I,D,StateInfo<I,D>> dtNode

Constructor Detail

StateInfo

public StateInfo(int id,
                 Word<I> accessSequence)

Method Detail

addIncoming

public void addIncoming(int sourceState,
                        int transIdx)

fetchIncoming

public List<Long> fetchIncoming()