All Classes

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.