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.5.2'

<dependency>
	<groupId>net.automatalib</groupId>
	<artifactId>automata-brics</artifactId>
	<version>0.5.2</version>
</dependency>

<dependency org="net.automatalib" name="automata-brics" rev="0.5.2"/>

"net.automatalib", "automata-brics", "0.5.2"

Dependencies

Compile dependencies

com.google.code.findbugs » jsr305 » 2.0.3
dk.brics.automaton » automaton » 1.11-8 (optional)
net.automatalib » automata-api » 0.5.2
net.automatalib » automata-commons-smartcollections » 0.5.2
net.automatalib » automata-commons-util » 0.5.2
net.automatalib » automata-core » 0.5.2

Test dependencies

org.testng » testng » 6.8.8