StateInfo (LearnLib 0.18.0 API)

java.lang.Object
- de.learnlib.algorithm.kv.StateInfo<I,D>

Type Parameters:

I - input symbol type

D - data type
```
public final class StateInfo<I,D>
extends Object
```
The information associated with a state: it's access sequence (or access string), and the list of incoming transitions.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  net.automatalib.word.Word<I> accessSequence
  
  AbstractWordBasedDTNode<I,D,StateInfo<I,D>> dtNode
  
  int id
- Constructor Summary
  
  Constructors
  Constructor Description
  
  StateInfo(int id, net.automatalib.word.Word<I> accessSequence)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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 net.automatalib.word.Word<I> accessSequence

dtNode

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

Constructor Detail

StateInfo

public StateInfo(int id,
                 net.automatalib.word.Word<I> accessSequence)

Method Detail

addIncoming

public void addIncoming(int sourceState,
                        int transIdx)

fetchIncoming
```
public List<Long> fetchIncoming()
```