Package de.learnlib.algorithm.kv
Class StateInfo<I,D>
- java.lang.Object
-
- de.learnlib.algorithm.kv.StateInfo<I,D>
-
- Type Parameters:
I
- input symbol typeD
- 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.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addIncoming(int sourceState, int transIdx)
List<Long>
fetchIncoming()
-