Module net.automatalib.brics

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

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-brics</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.brics	All Modules	All Modules