net.automatalib.incremental.mealy.dag

Class TransitionRecord

java.lang.Object

net.automatalib.incremental.mealy.dag.TransitionRecord

public final class TransitionRecord
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
State	source
int	transIdx

Constructor Summary

Constructors

Constructor and Description
TransitionRecord(State 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 source

transIdx

public final int transIdx

Constructor Detail

TransitionRecord

public TransitionRecord(State source,
                int transIdx)