Uses of Class
net.automatalib.brics.BricsTransitionProperty

Uses of BricsTransitionProperty in net.automatalib.brics

Methods in net.automatalib.brics that return BricsTransitionProperty

Modifier and Type	Method and Description
BricsTransitionProperty	AbstractBricsAutomaton.getEdgeProperty(dk.brics.automaton.Transition edge)