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.