Package | Description |
---|---|
net.automatalib.brics |
Class and Description |
---|
AbstractBricsAutomaton
Base class for Brics automata adapters.
|
AbstractBricsAutomaton.GraphView |
BricsTransitionProperty
The properties of an edge in a Brics automaton.
|
Copyright © 2020. All rights reserved.