All Packages

Package Summary

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.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.exception
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads
net.automatalib.graph.concept
net.automatalib.graph.helper
net.automatalib.graph.visualization
net.automatalib.modelchecking
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.visualization	This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.word	This package contains the basic classes concerning words.