Download automatalib Free Java Code

.gitignore//from   w w w .  j a va2 s .  co m
COPYING.txt
README.md
adapters/.gitignore
adapters/brics/.gitignore
adapters/brics/pom.xml
adapters/brics/src/main/java/net/automatalib/brics/AbstractBricsAutomaton.java
adapters/brics/src/main/java/net/automatalib/brics/BricsDFA.java
adapters/brics/src/main/java/net/automatalib/brics/BricsDOTHelper.java
adapters/brics/src/main/java/net/automatalib/brics/BricsNFA.java
adapters/brics/src/main/java/net/automatalib/brics/BricsTransitionProperty.java
adapters/brics/src/test/java/net/automatalib/brics/BricsDFATest.java
adapters/pom.xml
api/.gitignore
api/pom.xml
api/src/main/java/net/automatalib/automata/Automaton.java
api/src/main/java/net/automatalib/automata/DeterministicAutomaton.java
api/src/main/java/net/automatalib/automata/FiniteAlphabetAutomaton.java
api/src/main/java/net/automatalib/automata/MutableAutomaton.java
api/src/main/java/net/automatalib/automata/MutableDeterministic.java
api/src/main/java/net/automatalib/automata/ShrinkableAutomaton.java
api/src/main/java/net/automatalib/automata/ShrinkableDeterministic.java
api/src/main/java/net/automatalib/automata/UniversalAutomaton.java
api/src/main/java/net/automatalib/automata/UniversalDeterministicAutomaton.java
api/src/main/java/net/automatalib/automata/concepts/DetOutputAutomaton.java
api/src/main/java/net/automatalib/automata/concepts/InputAlphabetHolder.java
api/src/main/java/net/automatalib/automata/concepts/MutableProbabilistic.java
api/src/main/java/net/automatalib/automata/concepts/MutableStateOutput.java
api/src/main/java/net/automatalib/automata/concepts/MutableTransitionOutput.java
api/src/main/java/net/automatalib/automata/concepts/Output.java
api/src/main/java/net/automatalib/automata/concepts/OutputAutomaton.java
api/src/main/java/net/automatalib/automata/concepts/Probabilistic.java
api/src/main/java/net/automatalib/automata/concepts/SODetOutputAutomaton.java
api/src/main/java/net/automatalib/automata/concepts/StateIDs.java
api/src/main/java/net/automatalib/automata/concepts/StateOutput.java
api/src/main/java/net/automatalib/automata/concepts/SuffixOutput.java
api/src/main/java/net/automatalib/automata/concepts/TransitionOutput.java
api/src/main/java/net/automatalib/automata/fsa/DFA.java
api/src/main/java/net/automatalib/automata/fsa/FiniteStateAcceptor.java
api/src/main/java/net/automatalib/automata/fsa/MutableDFA.java
api/src/main/java/net/automatalib/automata/fsa/MutableFSA.java
api/src/main/java/net/automatalib/automata/fsa/MutableNFA.java
api/src/main/java/net/automatalib/automata/fsa/NFA.java
api/src/main/java/net/automatalib/automata/simple/SimpleAutomaton.java
api/src/main/java/net/automatalib/automata/simple/SimpleDeterministicAutomaton.java
api/src/main/java/net/automatalib/automata/transout/MealyMachine.java
api/src/main/java/net/automatalib/automata/transout/MooreMachine.java
api/src/main/java/net/automatalib/automata/transout/MutableMealyMachine.java
api/src/main/java/net/automatalib/automata/transout/MutableMooreMachine.java
api/src/main/java/net/automatalib/automata/transout/MutableProbabilisticMealy.java
api/src/main/java/net/automatalib/automata/transout/ProbabilisticMealyMachine.java
api/src/main/java/net/automatalib/automata/transout/TransitionOutputAutomaton.java
api/src/main/java/net/automatalib/graphs/AcceptanceGraph.java
api/src/main/java/net/automatalib/graphs/BidirectionalGraph.java
api/src/main/java/net/automatalib/graphs/FiniteKTS.java
api/src/main/java/net/automatalib/graphs/FiniteKripkeStructure.java
api/src/main/java/net/automatalib/graphs/FiniteLTS.java
api/src/main/java/net/automatalib/graphs/Graph.java
api/src/main/java/net/automatalib/graphs/IndefiniteGraph.java
api/src/main/java/net/automatalib/graphs/IndefiniteLTS.java
api/src/main/java/net/automatalib/graphs/MutableGraph.java
api/src/main/java/net/automatalib/graphs/ShrinkableGraph.java
api/src/main/java/net/automatalib/graphs/UndirectedGraph.java
api/src/main/java/net/automatalib/graphs/UniversalGraph.java
api/src/main/java/net/automatalib/graphs/UniversalIndefiniteGraph.java
api/src/main/java/net/automatalib/graphs/concepts/EdgeLabels.java
api/src/main/java/net/automatalib/graphs/concepts/EdgeWeights.java
api/src/main/java/net/automatalib/graphs/concepts/InitialNode.java
api/src/main/java/net/automatalib/graphs/concepts/KripkeInterpretation.java
api/src/main/java/net/automatalib/graphs/concepts/NodeAcceptance.java
api/src/main/java/net/automatalib/graphs/concepts/NodeIDs.java
api/src/main/java/net/automatalib/ts/DeterministicTransitionSystem.java
api/src/main/java/net/automatalib/ts/TransitionSystem.java
api/src/main/java/net/automatalib/ts/UniversalDTS.java
api/src/main/java/net/automatalib/ts/UniversalTransitionSystem.java
api/src/main/java/net/automatalib/ts/acceptors/AcceptorTS.java
api/src/main/java/net/automatalib/ts/acceptors/DeterministicAcceptorTS.java
api/src/main/java/net/automatalib/ts/simple/SimpleDTS.java
api/src/main/java/net/automatalib/ts/simple/SimpleTS.java
api/src/main/java/net/automatalib/words/Alphabet.java
api/src/main/java/net/automatalib/words/EmptyWord.java
api/src/main/java/net/automatalib/words/GrowingAlphabet.java
api/src/main/java/net/automatalib/words/LetterWord.java
api/src/main/java/net/automatalib/words/SharedWord.java
api/src/main/java/net/automatalib/words/SubwordList.java
api/src/main/java/net/automatalib/words/Word.java
api/src/main/java/net/automatalib/words/WordBuilder.java
api/src/test/java/net/automatalib/words/AbstractWordTest.java
api/src/test/java/net/automatalib/words/EmptyWordTest.java
api/src/test/java/net/automatalib/words/LetterWordTest.java
api/src/test/java/net/automatalib/words/NonemptyWordTest.java
api/src/test/java/net/automatalib/words/SharedWordTest.java
archetypes/.gitignore
archetypes/complete/.gitignore
archetypes/complete/pom.xml
archetypes/complete/src/main/resources/META-INF/maven/archetype-metadata.xml
archetypes/complete/src/main/resources/archetype-resources/pom.xml
archetypes/complete/src/test/resources/projects/basic/archetype.properties
archetypes/complete/src/test/resources/projects/basic/goal.txt
archetypes/core/.gitignore
archetypes/core/pom.xml
archetypes/core/src/main/resources/META-INF/maven/archetype-metadata.xml
archetypes/core/src/main/resources/archetype-resources/pom.xml
archetypes/core/src/test/resources/projects/basic/archetype.properties
archetypes/core/src/test/resources/projects/basic/goal.txt
archetypes/pom.xml
archetypes/typical/.gitignore
archetypes/typical/pom.xml
archetypes/typical/src/main/resources/META-INF/maven/archetype-metadata.xml
archetypes/typical/src/main/resources/archetype-resources/pom.xml
archetypes/typical/src/test/resources/projects/basic/archetype.properties
archetypes/typical/src/test/resources/projects/basic/goal.txt
build-tools/.gitignore
build-tools/deploy-site.sh
build-tools/fix-license.sh
build-tools/fix-xml.sh
build-tools/license-header.txt
build-tools/license-styles/java.style
build-tools/license-styles/sh.style
build-tools/license-styles/xml.style
commons/.gitignore
commons/dotutil/.gitignore
commons/dotutil/pom.xml
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/DOT.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/DOTComponent.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/DOTFrame.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/DOTMisc.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/DOTPanel.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/ImageComponent.java
commons/dotutil/src/main/java/net/automatalib/commons/dotutil/PlottedGraph.java
commons/pom.xml
commons/smartcollections/.gitignore
commons/smartcollections/pom.xml
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/AbstractLinkedList.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/AbstractSmartCollection.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/BackedGeneralPriorityQueue.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/BasicLinkedListEntry.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/BinaryHeap.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/CapacityManagement.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/DefaultLinkedList.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/DefaultLinkedListEntry.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/ElementReference.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/IntrusiveLinkedList.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/InvalidReferenceException.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/LinkedListEntry.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartCollection.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDeque.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartDynamicPriorityQueue.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartGeneralPriorityQueue.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartPriorityQueue.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/SmartSequence.java
commons/smartcollections/src/main/java/net/automatalib/commons/smartcollections/UnorderedCollection.java
commons/smartcollections/src/test/java/net/automatalib/commons/smartcollections/BinaryHeapTest.java
commons/smartcollections/src/test/java/net/automatalib/commons/smartcollections/DefaultLinkedListTest.java
commons/util/.gitignore
commons/util/pom.xml
commons/util/src/main/java/net/automatalib/commons/util/BitSetIterator.java
commons/util/src/main/java/net/automatalib/commons/util/Holder.java
commons/util/src/main/java/net/automatalib/commons/util/IOUtil.java
commons/util/src/main/java/net/automatalib/commons/util/Pair.java
commons/util/src/main/java/net/automatalib/commons/util/ReflectUtil.java
commons/util/src/main/java/net/automatalib/commons/util/Triple.java
commons/util/src/main/java/net/automatalib/commons/util/UnionFind.java
commons/util/src/main/java/net/automatalib/commons/util/WrapperUtil.java
commons/util/src/main/java/net/automatalib/commons/util/array/AWUtil.java
commons/util/src/main/java/net/automatalib/commons/util/array/ArrayWritable.java
commons/util/src/main/java/net/automatalib/commons/util/array/ResizingArrayStorage.java
commons/util/src/main/java/net/automatalib/commons/util/array/ResizingIntArray.java
commons/util/src/main/java/net/automatalib/commons/util/array/ResizingObjectArray.java
commons/util/src/main/java/net/automatalib/commons/util/collections/AllCombinationsIterator.java
commons/util/src/main/java/net/automatalib/commons/util/collections/AllTuplesIterator.java
commons/util/src/main/java/net/automatalib/commons/util/collections/CharRange.java
commons/util/src/main/java/net/automatalib/commons/util/collections/CharRangeIterator.java
commons/util/src/main/java/net/automatalib/commons/util/collections/CollectionsUtil.java
commons/util/src/main/java/net/automatalib/commons/util/collections/ConcatIterator.java
commons/util/src/main/java/net/automatalib/commons/util/collections/IntRange.java
commons/util/src/main/java/net/automatalib/commons/util/collections/IntRangeIterator.java
commons/util/src/main/java/net/automatalib/commons/util/collections/IterableUtil.java
commons/util/src/main/java/net/automatalib/commons/util/collections/NullList.java
commons/util/src/main/java/net/automatalib/commons/util/collections/UnmodifiableIterator.java
commons/util/src/main/java/net/automatalib/commons/util/comparison/CmpUtil.java
commons/util/src/main/java/net/automatalib/commons/util/comparison/LexComparator.java
commons/util/src/main/java/net/automatalib/commons/util/comparison/NaturalLexComparator.java
commons/util/src/main/java/net/automatalib/commons/util/comparison/NaturalOrderingComparator.java
commons/util/src/main/java/net/automatalib/commons/util/comparison/SafeComparator.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/ArrayMapping.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/MapMapping.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/MappedIterator.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/Mapping.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/MappingComposition.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/Mappings.java
commons/util/src/main/java/net/automatalib/commons/util/mappings/MutableMapping.java
commons/util/src/main/java/net/automatalib/commons/util/nid/AbstractMutableNumericID.java
commons/util/src/main/java/net/automatalib/commons/util/nid/DynamicList.java
commons/util/src/main/java/net/automatalib/commons/util/nid/IDChangeListener.java
commons/util/src/main/java/net/automatalib/commons/util/nid/IDChangeNotifier.java
commons/util/src/main/java/net/automatalib/commons/util/nid/MutableNumericID.java
commons/util/src/main/java/net/automatalib/commons/util/nid/NumericID.java
commons/util/src/main/java/net/automatalib/commons/util/random/RandomUtil.java
commons/util/src/main/java/net/automatalib/commons/util/ref/Ref.java
commons/util/src/main/java/net/automatalib/commons/util/ref/Refs.java
commons/util/src/main/java/net/automatalib/commons/util/ref/StrongRef.java
commons/util/src/main/java/net/automatalib/commons/util/ref/WeakRef.java
commons/util/src/main/java/net/automatalib/commons/util/strings/AbstractPrintable.java
commons/util/src/main/java/net/automatalib/commons/util/strings/Printable.java
commons/util/src/main/java/net/automatalib/commons/util/strings/StringIndexGenerator.java
commons/util/src/main/java/net/automatalib/commons/util/strings/StringUtil.java
commons/util/src/test/java/net/automatalib/commons/util/collections/AllTuplesTest.java
commons/util/src/test/java/net/automatalib/commons/util/collections/IterablesTest.java
core/.gitignore
core/pom.xml
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractAutomaton.java
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractDeterministicAutomaton.java
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractMutableAutomaton.java
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractMutableDeterministic.java
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractShrinkableAutomaton.java
core/src/main/java/net/automatalib/automata/abstractimpl/AbstractShrinkableDeterministic.java
core/src/main/java/net/automatalib/automata/abstractimpl/SimpleStateIDs.java
core/src/main/java/net/automatalib/automata/base/StateIDDynamicMapping.java
core/src/main/java/net/automatalib/automata/base/StateIDGrowingMapping.java
core/src/main/java/net/automatalib/automata/base/StateIDStaticMapping.java
core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactDeterministic.java
core/src/main/java/net/automatalib/automata/base/compact/AbstractCompactSimpleDet.java
core/src/main/java/net/automatalib/automata/base/compact/UniversalCompactSimpleDet.java
core/src/main/java/net/automatalib/automata/base/fast/FastDetState.java
core/src/main/java/net/automatalib/automata/base/fast/FastMutableDet.java
core/src/main/java/net/automatalib/automata/base/fast/FastMutableNondet.java
core/src/main/java/net/automatalib/automata/base/fast/FastNondetState.java
core/src/main/java/net/automatalib/automata/dot/DOTHelperFSA.java
core/src/main/java/net/automatalib/automata/dot/DOTHelperMealy.java
core/src/main/java/net/automatalib/automata/dot/DOTPlottableAutomaton.java
core/src/main/java/net/automatalib/automata/dot/DefaultDOTHelperAutomaton.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractDFA.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractFSA.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractMutableDFA.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractMutableFSA.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractMutableNFA.java
core/src/main/java/net/automatalib/automata/fsa/abstractimpl/AbstractNFA.java
core/src/main/java/net/automatalib/automata/fsa/impl/FastDFA.java
core/src/main/java/net/automatalib/automata/fsa/impl/FastDFAState.java
core/src/main/java/net/automatalib/automata/fsa/impl/FastNFA.java
core/src/main/java/net/automatalib/automata/fsa/impl/FastNFAState.java
core/src/main/java/net/automatalib/automata/fsa/impl/compact/CompactDFA.java
core/src/main/java/net/automatalib/automata/graphs/AbstractAutomatonGraph.java
core/src/main/java/net/automatalib/automata/graphs/StateAsNodeIDs.java
core/src/main/java/net/automatalib/automata/transout/abstractimpl/AbstractMealyMachine.java
core/src/main/java/net/automatalib/automata/transout/abstractimpl/AbstractMooreMachine.java
core/src/main/java/net/automatalib/automata/transout/abstractimpl/AbstractTransOutAutomaton.java
core/src/main/java/net/automatalib/automata/transout/impl/FastMealy.java
core/src/main/java/net/automatalib/automata/transout/impl/FastMealyState.java
core/src/main/java/net/automatalib/automata/transout/impl/FastMoore.java
core/src/main/java/net/automatalib/automata/transout/impl/FastMooreState.java
core/src/main/java/net/automatalib/automata/transout/impl/FastProbMealy.java
core/src/main/java/net/automatalib/automata/transout/impl/FastProbMealyState.java
core/src/main/java/net/automatalib/automata/transout/impl/MealyTransition.java
core/src/main/java/net/automatalib/automata/transout/impl/ProbMealyTransition.java
core/src/main/java/net/automatalib/automata/transout/impl/compact/CompactMealy.java
core/src/main/java/net/automatalib/automata/transout/impl/compact/CompactMealyTransition.java
core/src/main/java/net/automatalib/graphs/abstractimpl/AbstractGraph.java
core/src/main/java/net/automatalib/graphs/abstractimpl/AbstractIndefiniteGraph.java
core/src/main/java/net/automatalib/graphs/abstractimpl/AbstractMutableGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactNPGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/AbstractCompactSimpleGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/CompactBidiEdge.java
core/src/main/java/net/automatalib/graphs/base/compact/CompactEdge.java
core/src/main/java/net/automatalib/graphs/base/compact/CompactGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleBidiGraph.java
core/src/main/java/net/automatalib/graphs/base/compact/CompactSimpleGraph.java
core/src/main/java/net/automatalib/graphs/dot/AggregateDOTHelper.java
core/src/main/java/net/automatalib/graphs/dot/DOTPlottableGraph.java
core/src/main/java/net/automatalib/graphs/dot/DefaultDOTHelper.java
core/src/main/java/net/automatalib/graphs/dot/DelegateDOTHelper.java
core/src/main/java/net/automatalib/graphs/dot/EmptyDOTHelper.java
core/src/main/java/net/automatalib/graphs/dot/GraphDOTHelper.java
core/src/main/java/net/automatalib/ts/abstractimpl/AbstractDTS.java
core/src/main/java/net/automatalib/ts/abstractimpl/AbstractTS.java
core/src/main/java/net/automatalib/ts/acceptors/abstractimpl/AbstractAcceptorTS.java
core/src/main/java/net/automatalib/ts/acceptors/abstractimpl/AbstractDeterministicAcceptorTS.java
core/src/main/java/net/automatalib/ts/comp/DTSComposition.java
core/src/main/java/net/automatalib/ts/comp/TSComposition.java
core/src/main/java/net/automatalib/ts/comp/TSCompositions.java
core/src/main/java/net/automatalib/ts/powerset/FastPowersetDTS.java
core/src/main/java/net/automatalib/ts/powerset/FastPowersetState.java
core/src/main/java/net/automatalib/ts/powerset/PowersetDTS.java
core/src/main/java/net/automatalib/words/abstractimpl/AbstractAlphabet.java
core/src/main/java/net/automatalib/words/abstractimpl/AbstractSymbol.java
core/src/main/java/net/automatalib/words/impl/Alphabets.java
core/src/main/java/net/automatalib/words/impl/ExtensionWord.java
core/src/main/java/net/automatalib/words/impl/FastAlphabet.java
core/src/main/java/net/automatalib/words/impl/ListAlphabet.java
core/src/main/java/net/automatalib/words/impl/SimpleAlphabet.java
core/src/main/java/net/automatalib/words/impl/Symbol.java
core/src/test/java/net/automatalib/automata/transout/FastMealyTest.java
examples/.gitignore
examples/pom.xml
examples/src/main/java/net/automatalib/examples/brics/SimpleBricsExample.java
examples/src/main/java/net/automatalib/examples/graph/DFSExample.java
misc/.gitignore
misc/incremental/.gitignore
misc/incremental/pom.xml
misc/incremental/src/main/java/net/automatalib/incremental/ConflictException.java
misc/incremental/src/main/java/net/automatalib/incremental/IncrementalConstruction.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/AbstractIncrementalDFABuilder.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/Acceptance.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/DOTHelper.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/EdgeRecord.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/IncrementalDFABuilder.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/IncrementalPCDFABuilder.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/State.java
misc/incremental/src/main/java/net/automatalib/incremental/dfa/StateSignature.java
misc/incremental/src/main/java/net/automatalib/incremental/mealy/DOTHelper.java
misc/incremental/src/main/java/net/automatalib/incremental/mealy/IncrementalMealyBuilder.java
misc/incremental/src/main/java/net/automatalib/incremental/mealy/State.java
misc/incremental/src/main/java/net/automatalib/incremental/mealy/StateSignature.java
misc/incremental/src/main/java/net/automatalib/incremental/mealy/TransitionRecord.java
misc/incremental/src/test/java/net/automatalib/incremental/dfa/TestIncrementalDFA.java
misc/misc-algorithms/.gitignore
misc/misc-algorithms/pom.xml
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/GraphAlgorithms.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/apsp/APSPResult.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/apsp/FloydWarshallAPSP.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/scc/SCCCollector.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/scc/SCCListener.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/scc/SCCs.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/scc/TarjanSCCRecord.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/scc/TarjanSCCVisitor.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/sssp/DijkstraSSSP.java
misc/misc-algorithms/src/main/java/net/automatalib/algorithms/graph/sssp/SSSPResult.java
misc/misc-algorithms/src/test/java/net/automatalib/algorithms/graph/apsp/DijkstraSSSPTest.java
misc/misc-algorithms/src/test/java/net/automatalib/algorithms/graph/apsp/FloydWarshallAPSPTest.java
misc/pom.xml
pom.xml
src/main/assembly/automatalib-bin.xml
src/main/assembly/automatalib-jar.xml
src/main/assembly/automatalib-srcjar.xml
src/site/site.xml
util/.gitignore
util/pom.xml
util/src/main/java/net/automatalib/util/automata/Automata.java
util/src/main/java/net/automatalib/util/automata/Covers.java
util/src/main/java/net/automatalib/util/automata/asgraph/AGHelper.java
util/src/main/java/net/automatalib/util/automata/asgraph/AutomatonAsGraph.java
util/src/main/java/net/automatalib/util/automata/asgraph/UniversalAutomatonAsGraph.java
util/src/main/java/net/automatalib/util/automata/copy/AbstractAutomatonCopy.java
util/src/main/java/net/automatalib/util/automata/copy/AutomatonCopy.java
util/src/main/java/net/automatalib/util/automata/copy/PlainAutomatonCopy.java
util/src/main/java/net/automatalib/util/automata/copy/TraversalAutomatonCopy.java
util/src/main/java/net/automatalib/util/automata/equivalence/CharacterizingSets.java
util/src/main/java/net/automatalib/util/automata/equivalence/DeterministicEquivalenceTest.java
util/src/main/java/net/automatalib/util/automata/equivalence/NearLinearEquivalenceTest.java
util/src/main/java/net/automatalib/util/automata/fsa/DFAs.java
util/src/main/java/net/automatalib/util/automata/fsa/NFAs.java
util/src/main/java/net/automatalib/util/automata/random/AbstractRandomAutomatonGenerator.java
util/src/main/java/net/automatalib/util/automata/random/RandomAutomata.java
util/src/main/java/net/automatalib/util/automata/random/RandomDeterministicAutomatonGenerator.java
util/src/main/java/net/automatalib/util/graphs/FindShortestPathVisitor.java
util/src/main/java/net/automatalib/util/graphs/Graphs.java
util/src/main/java/net/automatalib/util/graphs/InEdgesMapping.java
util/src/main/java/net/automatalib/util/graphs/OutEdgesMapping.java
util/src/main/java/net/automatalib/util/graphs/concepts/PropertyEdgeWeights.java
util/src/main/java/net/automatalib/util/graphs/copy/AbstractGraphCopy.java
util/src/main/java/net/automatalib/util/graphs/copy/GraphCopy.java
util/src/main/java/net/automatalib/util/graphs/copy/PlainGraphCopy.java
util/src/main/java/net/automatalib/util/graphs/copy/TraversalGraphCopy.java
util/src/main/java/net/automatalib/util/graphs/dot/GraphDOT.java
util/src/main/java/net/automatalib/util/graphs/traversal/BFRecord.java
util/src/main/java/net/automatalib/util/graphs/traversal/BaseDFSVisitor.java
util/src/main/java/net/automatalib/util/graphs/traversal/BreadthFirstIterator.java
util/src/main/java/net/automatalib/util/graphs/traversal/DFRecord.java
util/src/main/java/net/automatalib/util/graphs/traversal/DFSData.java
util/src/main/java/net/automatalib/util/graphs/traversal/DFSTraversalVisitor.java
util/src/main/java/net/automatalib/util/graphs/traversal/DFSVisitor.java
util/src/main/java/net/automatalib/util/graphs/traversal/DefaultGraphTraversalVisitor.java
util/src/main/java/net/automatalib/util/graphs/traversal/DepthFirstIterator.java
util/src/main/java/net/automatalib/util/graphs/traversal/GraphTraversal.java
util/src/main/java/net/automatalib/util/graphs/traversal/GraphTraversalAction.java
util/src/main/java/net/automatalib/util/graphs/traversal/GraphTraversalVisitor.java
util/src/main/java/net/automatalib/util/graphs/traversal/SimpleDFRecord.java
util/src/main/java/net/automatalib/util/minimizer/Block.java
util/src/main/java/net/automatalib/util/minimizer/BlockAutomaton.java
util/src/main/java/net/automatalib/util/minimizer/BlockEdge.java
util/src/main/java/net/automatalib/util/minimizer/BlockMap.java
util/src/main/java/net/automatalib/util/minimizer/Edge.java
util/src/main/java/net/automatalib/util/minimizer/HashMapInitialPartitioning.java
util/src/main/java/net/automatalib/util/minimizer/InitialPartitioning.java
util/src/main/java/net/automatalib/util/minimizer/MinimizationResult.java
util/src/main/java/net/automatalib/util/minimizer/Minimizer.java
util/src/main/java/net/automatalib/util/minimizer/OriginalStateCollection.java
util/src/main/java/net/automatalib/util/minimizer/State.java
util/src/main/java/net/automatalib/util/minimizer/TransitionLabel.java
util/src/main/java/net/automatalib/util/traversal/Color.java
util/src/main/java/net/automatalib/util/traversal/TraversalOrder.java
util/src/main/java/net/automatalib/util/traversal/VisitedState.java
util/src/main/java/net/automatalib/util/ts/AllTransitionsIterator.java
util/src/main/java/net/automatalib/util/ts/TS.java
util/src/main/java/net/automatalib/util/ts/acceptors/AcceptanceCombiner.java
util/src/main/java/net/automatalib/util/ts/acceptors/Acceptors.java
util/src/main/java/net/automatalib/util/ts/acceptors/DetAcceptorComposition.java
util/src/main/java/net/automatalib/util/ts/traversal/BFSOrderIterator.java
util/src/main/java/net/automatalib/util/ts/traversal/BFSRecord.java
util/src/main/java/net/automatalib/util/ts/traversal/DFRecord.java
util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java
util/src/main/java/net/automatalib/util/ts/traversal/TSTraversal.java
util/src/main/java/net/automatalib/util/ts/traversal/TSTraversalAction.java
util/src/main/java/net/automatalib/util/ts/traversal/TSTraversalVisitor.java
xml/.gitignore
xml/pom.xml
xml/src/main/xsd/automaton.xsd