jar

net.automatalib : automata-api

Maven & Gradle

Oct 11, 2020
64 usages
64 stars

AutomataLib :: API · This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols.

Table Of Contents

Latest Version

Download net.automatalib : automata-api JAR file - Latest Versions:

All Versions

Download net.automatalib : automata-api JAR file - All Versions:

Version Vulnerabilities Size Updated
0.10.x
0.9.x
0.8.x
0.7.x
0.6.x
0.5.x
0.4.x
0.3.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window automata-api-0.10.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

net.automatalib.automata.concepts

├─ net.automatalib.automata.concepts.DetOutputAutomaton.class - [JAR]

├─ net.automatalib.automata.concepts.DetSuffixOutputAutomaton.class - [JAR]

├─ net.automatalib.automata.concepts.InputAlphabetHolder.class - [JAR]

├─ net.automatalib.automata.concepts.MutableProbabilistic.class - [JAR]

├─ net.automatalib.automata.concepts.MutableStateOutput.class - [JAR]

├─ net.automatalib.automata.concepts.MutableTransitionOutput.class - [JAR]

├─ net.automatalib.automata.concepts.Output.class - [JAR]

├─ net.automatalib.automata.concepts.OutputAutomaton.class - [JAR]

├─ net.automatalib.automata.concepts.Probabilistic.class - [JAR]

├─ net.automatalib.automata.concepts.StateIDs.class - [JAR]

├─ net.automatalib.automata.concepts.StateLocalInput.class - [JAR]

├─ net.automatalib.automata.concepts.StateOutput.class - [JAR]

├─ net.automatalib.automata.concepts.SuffixOutput.class - [JAR]

├─ net.automatalib.automata.concepts.TransitionOutput.class - [JAR]

net.automatalib.visualization

├─ net.automatalib.visualization.DefaultVisualizationHelper.class - [JAR]

├─ net.automatalib.visualization.VisualizationHelper.class - [JAR]

net.automatalib.ts.powerset

├─ net.automatalib.ts.powerset.DirectPowersetDTS.class - [JAR]

net.automatalib.automata

├─ net.automatalib.automata.Automaton.class - [JAR]

├─ net.automatalib.automata.AutomatonCreator.class - [JAR]

├─ net.automatalib.automata.DeterministicAutomaton.class - [JAR]

├─ net.automatalib.automata.FiniteAlphabetAutomaton.class - [JAR]

├─ net.automatalib.automata.MutableAutomaton.class - [JAR]

├─ net.automatalib.automata.MutableDeterministic.class - [JAR]

├─ net.automatalib.automata.ShrinkableAutomaton.class - [JAR]

├─ net.automatalib.automata.ShrinkableDeterministic.class - [JAR]

├─ net.automatalib.automata.UniversalAutomaton.class - [JAR]

├─ net.automatalib.automata.UniversalDeterministicAutomaton.class - [JAR]

├─ net.automatalib.automata.UniversalFiniteAlphabetAutomaton.class - [JAR]

net.automatalib

├─ net.automatalib.AutomataLibProperty.class - [JAR]

├─ net.automatalib.AutomataLibSettings.class - [JAR]

├─ net.automatalib.AutomataLibSettingsSource.class - [JAR]

├─ net.automatalib.SupportsGrowingAlphabet.class - [JAR]

net.automatalib.automata.helpers

├─ net.automatalib.automata.helpers.SimpleStateIDs.class - [JAR]

├─ net.automatalib.automata.helpers.StateIDGrowingMapping.class - [JAR]

├─ net.automatalib.automata.helpers.StateIDStaticMapping.class - [JAR]

net.automatalib.graphs.helpers

├─ net.automatalib.graphs.helpers.SimpleNodeIDs.class - [JAR]

net.automatalib.automata.transducers

├─ net.automatalib.automata.transducers.MealyMachine.class - [JAR]

├─ net.automatalib.automata.transducers.MooreMachine.class - [JAR]

├─ net.automatalib.automata.transducers.MutableMealyMachine.class - [JAR]

├─ net.automatalib.automata.transducers.MutableMooreMachine.class - [JAR]

├─ net.automatalib.automata.transducers.StateLocalInputMealyMachine.class - [JAR]

├─ net.automatalib.automata.transducers.StateOutputAutomaton.class - [JAR]

├─ net.automatalib.automata.transducers.TransitionOutputAutomaton.class - [JAR]

net.automatalib.settingssources

├─ net.automatalib.settingssources.AutomataLibLocalPropertiesSource.class - [JAR]

├─ net.automatalib.settingssources.AutomataLibPropertiesSource.class - [JAR]

├─ net.automatalib.settingssources.AutomataLibSystemPropertiesSource.class - [JAR]

net.automatalib.ts.acceptors

├─ net.automatalib.ts.acceptors.AcceptorTS.class - [JAR]

├─ net.automatalib.ts.acceptors.DeterministicAcceptorTS.class - [JAR]

net.automatalib.automata.graphs

├─ net.automatalib.automata.graphs.AbstractAutomatonGraphView.class - [JAR]

├─ net.automatalib.automata.graphs.AutomatonGraphView.class - [JAR]

├─ net.automatalib.automata.graphs.StateAsNodeIDs.class - [JAR]

├─ net.automatalib.automata.graphs.TransitionEdge.class - [JAR]

├─ net.automatalib.automata.graphs.UniversalAutomatonGraphView.class - [JAR]

net.automatalib.automata.simple

├─ net.automatalib.automata.simple.SimpleAutomaton.class - [JAR]

├─ net.automatalib.automata.simple.SimpleDeterministicAutomaton.class - [JAR]

net.automatalib.exception

├─ net.automatalib.exception.GrowingAlphabetNotSupportedException.class - [JAR]

├─ net.automatalib.exception.ModelCheckingException.class - [JAR]

├─ net.automatalib.exception.UndefinedPropertyAccessException.class - [JAR]

net.automatalib.automata.vpda

├─ net.automatalib.automata.vpda.OneSEVPA.class - [JAR]

├─ net.automatalib.automata.vpda.StackContents.class - [JAR]

├─ net.automatalib.automata.vpda.State.class - [JAR]

net.automatalib.automata.visualization

├─ net.automatalib.automata.visualization.AutomatonVisualizationHelper.class - [JAR]

├─ net.automatalib.automata.visualization.FSAVisualizationHelper.class - [JAR]

├─ net.automatalib.automata.visualization.MealyVisualizationHelper.class - [JAR]

├─ net.automatalib.automata.visualization.MooreVisualizationHelper.class - [JAR]

net.automatalib.ts.simple

├─ net.automatalib.ts.simple.SimpleDTS.class - [JAR]

├─ net.automatalib.ts.simple.SimpleTS.class - [JAR]

net.automatalib.ts

├─ net.automatalib.ts.DeterministicTransitionSystem.class - [JAR]

├─ net.automatalib.ts.PowersetViewTS.class - [JAR]

├─ net.automatalib.ts.TransitionPredicate.class - [JAR]

├─ net.automatalib.ts.TransitionSystem.class - [JAR]

├─ net.automatalib.ts.UniversalDTS.class - [JAR]

├─ net.automatalib.ts.UniversalTransitionSystem.class - [JAR]

net.automatalib.ts.output

├─ net.automatalib.ts.output.DeterministicOutputTS.class - [JAR]

├─ net.automatalib.ts.output.DeterministicStateOutputTS.class - [JAR]

├─ net.automatalib.ts.output.DeterministicTransitionOutputTS.class - [JAR]

├─ net.automatalib.ts.output.MealyTransitionSystem.class - [JAR]

├─ net.automatalib.ts.output.MooreTransitionSystem.class - [JAR]

net.automatalib.automata.fsa

├─ net.automatalib.automata.fsa.DFA.class - [JAR]

├─ net.automatalib.automata.fsa.FiniteStateAcceptor.class - [JAR]

├─ net.automatalib.automata.fsa.MutableDFA.class - [JAR]

├─ net.automatalib.automata.fsa.MutableFSA.class - [JAR]

├─ net.automatalib.automata.fsa.MutableNFA.class - [JAR]

├─ net.automatalib.automata.fsa.NFA.class - [JAR]

net.automatalib.modelchecking

├─ net.automatalib.modelchecking.Lasso.class - [JAR]

├─ net.automatalib.modelchecking.ModelChecker.class - [JAR]

├─ net.automatalib.modelchecking.ModelCheckerCache.class - [JAR]

├─ net.automatalib.modelchecking.ModelCheckerLasso.class - [JAR]

├─ net.automatalib.modelchecking.ModelCheckerLassoCache.class - [JAR]

net.automatalib.automata.transducers.probabilistic

├─ net.automatalib.automata.transducers.probabilistic.MutableProbabilisticMealy.class - [JAR]

├─ net.automatalib.automata.transducers.probabilistic.ProbabilisticMealyMachine.class - [JAR]

├─ net.automatalib.automata.transducers.probabilistic.ProbabilisticOutput.class - [JAR]

net.automatalib.graphs.concepts

├─ net.automatalib.graphs.concepts.EdgeLabels.class - [JAR]

├─ net.automatalib.graphs.concepts.EdgeWeights.class - [JAR]

├─ net.automatalib.graphs.concepts.GraphViewable.class - [JAR]

├─ net.automatalib.graphs.concepts.InitialNode.class - [JAR]

├─ net.automatalib.graphs.concepts.KripkeInterpretation.class - [JAR]

├─ net.automatalib.graphs.concepts.NodeAcceptance.class - [JAR]

├─ net.automatalib.graphs.concepts.NodeIDs.class - [JAR]

net.automatalib.words

├─ net.automatalib.words.Alphabet.class - [JAR]

├─ net.automatalib.words.CanonicalWordComparator.class - [JAR]

├─ net.automatalib.words.EmptyWord.class - [JAR]

├─ net.automatalib.words.GrowingAlphabet.class - [JAR]

├─ net.automatalib.words.LetterWord.class - [JAR]

├─ net.automatalib.words.SharedWord.class - [JAR]

├─ net.automatalib.words.SubwordList.class - [JAR]

├─ net.automatalib.words.VPDAlphabet.class - [JAR]

├─ net.automatalib.words.Word.class - [JAR]

├─ net.automatalib.words.WordBuilder.class - [JAR]

├─ net.automatalib.words.WordCollector.class - [JAR]

net.automatalib.graphs

├─ net.automatalib.graphs.AcceptanceGraph.class - [JAR]

├─ net.automatalib.graphs.BidirectionalGraph.class - [JAR]

├─ net.automatalib.graphs.FiniteKTS.class - [JAR]

├─ net.automatalib.graphs.FiniteKripkeStructure.class - [JAR]

├─ net.automatalib.graphs.FiniteLTS.class - [JAR]

├─ net.automatalib.graphs.Graph.class - [JAR]

├─ net.automatalib.graphs.IndefiniteGraph.class - [JAR]

├─ net.automatalib.graphs.IndefiniteLTS.class - [JAR]

├─ net.automatalib.graphs.IndefiniteSimpleGraph.class - [JAR]

├─ net.automatalib.graphs.MutableGraph.class - [JAR]

├─ net.automatalib.graphs.ShrinkableGraph.class - [JAR]

├─ net.automatalib.graphs.SimpleGraph.class - [JAR]

├─ net.automatalib.graphs.UndirectedGraph.class - [JAR]

├─ net.automatalib.graphs.UniversalGraph.class - [JAR]

├─ net.automatalib.graphs.UniversalIndefiniteGraph.class - [JAR]

net.automatalib.graphs.ads

├─ net.automatalib.graphs.ads.ADSNode.class - [JAR]

├─ net.automatalib.graphs.ads.RecursiveADSNode.class - [JAR]

Advertisement

Dependencies from Group

Oct 11, 2020
64 usages
64 stars
Oct 11, 2020
54 usages
64 stars
Oct 11, 2020
48 usages
64 stars
Oct 11, 2020
41 usages
64 stars
Oct 11, 2020
20 usages
64 stars

Discover Dependencies

Oct 11, 2020
1 usages
64 stars
Jun 04, 2015
1 usages
63 stars
Oct 11, 2020
1 usages
64 stars
Aug 17, 2023
25 usages
216 stars
Aug 17, 2023
14 usages
216 stars
Aug 17, 2023
4 usages
216 stars
Aug 17, 2023
1 usages
216 stars
Aug 17, 2023
2 usages
216 stars