AutomataLib 0.11.0 API

Packages 
Package Description
net.automatalib
The main AutomataLib package.
net.automatalib.alphabet
This package contains the basic classes concerning alphabets.
net.automatalib.automaton
This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction  
net.automatalib.automaton.base  
net.automatalib.automaton.concept  
net.automatalib.automaton.fsa  
net.automatalib.automaton.graph  
net.automatalib.automaton.helper  
net.automatalib.automaton.procedural  
net.automatalib.automaton.simple  
net.automatalib.automaton.transducer  
net.automatalib.automaton.transducer.probabilistic  
net.automatalib.automaton.visualization  
net.automatalib.automaton.vpa  
net.automatalib.brics
This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.common.smartcollection
This package contains efficient implementations for various collection data structures (especially linked lists and priority queues), which have very insufficient implementation in the Java Collections Framework that makes it hard or even impossible to exploit their efficiencies.
net.automatalib.common.util
This package (including sub-packages) contains basic utility classes to ease everyday programming.
net.automatalib.common.util.array  
net.automatalib.common.util.collection  
net.automatalib.common.util.comparison  
net.automatalib.common.util.concurrent  
net.automatalib.common.util.fixpoint  
net.automatalib.common.util.function  
net.automatalib.common.util.io  
net.automatalib.common.util.lib  
net.automatalib.common.util.mapping  
net.automatalib.common.util.nid  
net.automatalib.common.util.process  
net.automatalib.common.util.random  
net.automatalib.common.util.ref  
net.automatalib.common.util.setting  
net.automatalib.common.util.string  
net.automatalib.common.util.system  
net.automatalib.exception  
net.automatalib.graph
This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads  
net.automatalib.graph.base  
net.automatalib.graph.concept  
net.automatalib.graph.helper  
net.automatalib.graph.visualization  
net.automatalib.incremental
This package (including sub-packages) contains several approaches for the incremental construction of automaton-like structures.
net.automatalib.incremental.dfa  
net.automatalib.incremental.dfa.dag  
net.automatalib.incremental.dfa.tree  
net.automatalib.incremental.mealy  
net.automatalib.incremental.mealy.dag  
net.automatalib.incremental.mealy.tree  
net.automatalib.incremental.moore  
net.automatalib.incremental.moore.dag  
net.automatalib.incremental.moore.tree  
net.automatalib.modelchecker.ltsmin
This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl  
net.automatalib.modelchecker.ltsmin.monitor  
net.automatalib.modelchecker.m3c
This package (and sub-packages) provides the implementation of the model checker presented in the paper M3C: Modal Meta Model Checking by Bernhard Steffen and Alnis Murtovi.
net.automatalib.modelchecker.m3c.formula  
net.automatalib.modelchecker.m3c.formula.ctl  
net.automatalib.modelchecker.m3c.formula.modalmu  
net.automatalib.modelchecker.m3c.formula.parser  
net.automatalib.modelchecker.m3c.formula.visitor  
net.automatalib.modelchecker.m3c.solver  
net.automatalib.modelchecker.m3c.transformer  
net.automatalib.modelchecker.m3c.visualization  
net.automatalib.modelchecking  
net.automatalib.serialization
This package (including sub-packages) contains several (de-) serializers for the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.serialization.aut  
net.automatalib.serialization.automaton  
net.automatalib.serialization.dot  
net.automatalib.serialization.etf.writer  
net.automatalib.serialization.fsm.parser  
net.automatalib.serialization.learnlibv2  
net.automatalib.serialization.saf  
net.automatalib.serialization.taf  
net.automatalib.serialization.taf.parser  
net.automatalib.serialization.taf.writer  
net.automatalib.ts
This package (including sub-packages) contains the basic classes concerning transition systems.
net.automatalib.ts.acceptor  
net.automatalib.ts.modal  
net.automatalib.ts.modal.transition  
net.automatalib.ts.output  
net.automatalib.ts.powerset  
net.automatalib.ts.simple  
net.automatalib.util
This package (including sub-packages) contains several utility methods for the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.util.automaton  
net.automatalib.util.automaton.ads  
net.automatalib.util.automaton.builder  
net.automatalib.util.automaton.conformance  
net.automatalib.util.automaton.copy  
net.automatalib.util.automaton.cover  
net.automatalib.util.automaton.equivalence  
net.automatalib.util.automaton.fsa  
net.automatalib.util.automaton.minimizer.hopcroft  
net.automatalib.util.automaton.minimizer.paigetarjan  
net.automatalib.util.automaton.predicate  
net.automatalib.util.automaton.procedural  
net.automatalib.util.automaton.random  
net.automatalib.util.automaton.transducer  
net.automatalib.util.automaton.vpa  
net.automatalib.util.graph  
net.automatalib.util.graph.apsp  
net.automatalib.util.graph.concept  
net.automatalib.util.graph.copy  
net.automatalib.util.graph.scc  
net.automatalib.util.graph.sssp  
net.automatalib.util.graph.traversal  
net.automatalib.util.minimizer  
net.automatalib.util.partitionrefinement  
net.automatalib.util.traversal  
net.automatalib.util.ts  
net.automatalib.util.ts.acceptor  
net.automatalib.util.ts.comp  
net.automatalib.util.ts.copy  
net.automatalib.util.ts.iterator  
net.automatalib.util.ts.modal  
net.automatalib.util.ts.transducer  
net.automatalib.util.ts.traversal  
net.automatalib.visualization
This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.visualization.dot  
net.automatalib.visualization.helper  
net.automatalib.visualization.jung  
net.automatalib.word
This package contains the basic classes concerning words.