All Packages
-
Package Summary Package Description net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
Package | Description |
---|---|
net.automatalib.brics |
This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
|