Uses of Class
net.automatalib.brics.AbstractBricsAutomaton
-
Packages that use AbstractBricsAutomaton Package Description net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models. -
-
Uses of AbstractBricsAutomaton in net.automatalib.brics
Subclasses of AbstractBricsAutomaton in net.automatalib.brics Modifier and Type Class Description class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
.class
BricsNFA
Adapter class for wrapping a Brics automaton as anNFA
.
-