Uses of Package
net.automatalib.brics
-
Packages that use net.automatalib.brics Package Description net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models. -
Classes in net.automatalib.brics used by net.automatalib.brics Class Description AbstractBricsAutomaton Base class for Brics automata adapters.AbstractBricsAutomaton.GraphView BricsTransitionProperty The properties of an edge in a Brics automaton.