AutomataLib :: Adapters :: BRICS

This artifact contains adapter classes for treating the <tt>Automaton</tt> objects from the <a href="http://www.brics.dk/automaton">BRICS library</a> as AutomataLib models.

Homepage POM file JAR file Javadoc

'net.automatalib:automata-brics:0.3.1-ase2013-tutorial'

<dependency>
	<groupId>net.automatalib</groupId>
	<artifactId>automata-brics</artifactId>
	<version>0.3.1-ase2013-tutorial</version>
</dependency>

<dependency org="net.automatalib" name="automata-brics" rev="0.3.1-ase2013-tutorial"/>

"net.automatalib", "automata-brics", "0.3.1-ase2013-tutorial"

Dependencies

Compile dependencies

dk.brics.automaton » automaton » 1.11-8 (optional)
net.automatalib » automata-api » 0.3.1-ase2013-tutorial
net.automatalib » automata-commons-smartcollections » 0.3.1-ase2013-tutorial
net.automatalib » automata-commons-util » 0.3.1-ase2013-tutorial
net.automatalib » automata-core » 0.3.1-ase2013-tutorial

Test dependencies

org.testng » testng » 6.8