net.automatalib.incremental.mealy.dag

Class TransitionRecord<O>

java.lang.Object

net.automatalib.incremental.mealy.dag.TransitionRecord<O>

public final class TransitionRecord<O>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
State<O>	source
int	transIdx

Constructor Summary

Constructors

Constructor and Description
TransitionRecord(State<O> source, int transIdx)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

source

public final State<O> source

transIdx

public final int transIdx

Constructor Detail

TransitionRecord

public TransitionRecord(State<O> source,
                        int transIdx)