Uses of Class
net.automatalib.brics.BricsTransitionProperty
-
Packages that use BricsTransitionProperty Package Description net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models. -
-
Uses of BricsTransitionProperty in net.automatalib.brics
Methods in net.automatalib.brics that return BricsTransitionProperty Modifier and Type Method Description BricsTransitionProperty
AbstractBricsAutomaton.GraphView. getEdgeProperty(Transition edge)
-