Package net.automatalib.brics

This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.

Class Summary

Class	Description
AbstractBricsAutomaton	Base class for Brics automata adapters.
BricsDFA	Adapter class for wrapping a Brics automaton as a DFA.
BricsNFA	Adapter class for wrapping a Brics automaton as an NFA.
BricsTransitionProperty	The properties of an edge in a Brics automaton.