All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download Automata API JAR File

Welcome to the Automata API JAR download page. Here, you can get the JAR file for Automata API, a powerful library for working with automatons and formal languages. With this JAR file, you will be able to integrate Automata API into your projects and utilize its rich set of features. Start exploring the source code and leveraging the capabilities of Automata API today!

Files of the artifact automata-api version 0.12.0 from the group net.automatalib.

Test

Artifact automata-api
Group net.automatalib
Version 0.12.0
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies automata-commons-util, testng,
There are maybe transitive dependencies!

There is a newer version: 0.6.0

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of automata-api Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of automata-api version 0.12.0

META-INF

META-INF.META-INF.MANIFEST.MF

META-INF.maven.net.automatalib.automata-api

META-INF.maven.net.automatalib.automata-api.META-INF.maven.net.automatalib.automata-api.pom.properties

META-INF.maven.net.automatalib.automata-api.META-INF.maven.net.automatalib.automata-api.pom.xml

net.automatalib.alphabet

net.automatalib.alphabet.net.automatalib.alphabet.Alphabet

net.automatalib.alphabet.net.automatalib.alphabet.GrowingAlphabet

net.automatalib.alphabet.net.automatalib.alphabet.ProceduralInputAlphabet

net.automatalib.alphabet.net.automatalib.alphabet.ProceduralOutputAlphabet

net.automatalib.alphabet.net.automatalib.alphabet.SupportsGrowingAlphabet

net.automatalib.alphabet.net.automatalib.alphabet.VPAlphabet

net.automatalib.alphabet.net.automatalib.alphabet.package-info

net.automatalib.automaton

net.automatalib.automaton.net.automatalib.automaton.Automaton

net.automatalib.automaton.net.automatalib.automaton.AutomatonCreator

net.automatalib.automaton.net.automatalib.automaton.DeterministicAutomaton

net.automatalib.automaton.net.automatalib.automaton.FiniteAlphabetAutomaton

net.automatalib.automaton.net.automatalib.automaton.MutableAutomaton

net.automatalib.automaton.net.automatalib.automaton.MutableDeterministic

net.automatalib.automaton.net.automatalib.automaton.ShrinkableAutomaton

net.automatalib.automaton.net.automatalib.automaton.ShrinkableDeterministic

net.automatalib.automaton.net.automatalib.automaton.UniversalAutomaton

net.automatalib.automaton.net.automatalib.automaton.UniversalDeterministicAutomaton

net.automatalib.automaton.net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

net.automatalib.automaton.abstraction

net.automatalib.automaton.abstraction.net.automatalib.automaton.abstraction.DeterministicAbstractions

net.automatalib.automaton.abstraction.net.automatalib.automaton.abstraction.MutableDeterministicAbstraction

net.automatalib.automaton.abstraction.net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions

net.automatalib.automaton.abstraction.net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions

net.automatalib.automaton.concept

net.automatalib.automaton.concept.net.automatalib.automaton.concept.DetOutputAutomaton

net.automatalib.automaton.concept.net.automatalib.automaton.concept.DetSuffixOutputAutomaton

net.automatalib.automaton.concept.net.automatalib.automaton.concept.FiniteRepresentation

net.automatalib.automaton.concept.net.automatalib.automaton.concept.InputAlphabetHolder

net.automatalib.automaton.concept.net.automatalib.automaton.concept.MutableProbabilistic

net.automatalib.automaton.concept.net.automatalib.automaton.concept.MutableStateOutput

net.automatalib.automaton.concept.net.automatalib.automaton.concept.MutableTransitionOutput

net.automatalib.automaton.concept.net.automatalib.automaton.concept.Output

net.automatalib.automaton.concept.net.automatalib.automaton.concept.OutputAutomaton

net.automatalib.automaton.concept.net.automatalib.automaton.concept.Probabilistic

net.automatalib.automaton.concept.net.automatalib.automaton.concept.StateIDs

net.automatalib.automaton.concept.net.automatalib.automaton.concept.StateLocalInput

net.automatalib.automaton.concept.net.automatalib.automaton.concept.StateOutput

net.automatalib.automaton.concept.net.automatalib.automaton.concept.SuffixOutput

net.automatalib.automaton.concept.net.automatalib.automaton.concept.TransitionOutput

net.automatalib.automaton.fsa

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.DFA

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.FiniteStateAcceptor

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.MutableDFA

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.MutableFSA

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.MutableNFA

net.automatalib.automaton.fsa.net.automatalib.automaton.fsa.NFA

net.automatalib.automaton.graph

net.automatalib.automaton.graph.net.automatalib.automaton.graph.AbstractAutomatonGraphView

net.automatalib.automaton.graph.net.automatalib.automaton.graph.AutomatonGraphView

net.automatalib.automaton.graph.net.automatalib.automaton.graph.StateAsNodeIDs

net.automatalib.automaton.graph.net.automatalib.automaton.graph.TransitionEdge

net.automatalib.automaton.graph.net.automatalib.automaton.graph.UniversalAutomatonGraphView

net.automatalib.automaton.helper

net.automatalib.automaton.helper.net.automatalib.automaton.helper.SimpleStateIDs

net.automatalib.automaton.helper.net.automatalib.automaton.helper.StateIDGrowingMapping

net.automatalib.automaton.helper.net.automatalib.automaton.helper.StateIDStaticMapping

net.automatalib.automaton

net.automatalib.automaton.net.automatalib.automaton.package-info

net.automatalib.automaton.procedural

net.automatalib.automaton.procedural.net.automatalib.automaton.procedural.ProceduralGraphView

net.automatalib.automaton.procedural.net.automatalib.automaton.procedural.ProceduralSystem

net.automatalib.automaton.procedural.net.automatalib.automaton.procedural.SBA

net.automatalib.automaton.procedural.net.automatalib.automaton.procedural.SPA

net.automatalib.automaton.procedural.net.automatalib.automaton.procedural.SPMM

net.automatalib.automaton.simple

net.automatalib.automaton.simple.net.automatalib.automaton.simple.SimpleAutomaton

net.automatalib.automaton.simple.net.automatalib.automaton.simple.SimpleDeterministicAutomaton

net.automatalib.automaton.transducer

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.MealyMachine

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.MooreMachine

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.MutableMealyMachine

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.MutableMooreMachine

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.MutableSubsequentialTransducer

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.StateLocalInputMealyMachine

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.StateOutputAutomaton

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.SubsequentialTransducer

net.automatalib.automaton.transducer.net.automatalib.automaton.transducer.TransitionOutputAutomaton

net.automatalib.automaton.transducer.probabilistic

net.automatalib.automaton.transducer.probabilistic.net.automatalib.automaton.transducer.probabilistic.MutableProbabilisticMealy

net.automatalib.automaton.transducer.probabilistic.net.automatalib.automaton.transducer.probabilistic.ProbabilisticMealyMachine

net.automatalib.automaton.transducer.probabilistic.net.automatalib.automaton.transducer.probabilistic.ProbabilisticOutput

net.automatalib.automaton.visualization

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.AutomatonVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.FSAVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.MTSVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.MealyVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.MooreVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.ProceduralVisualizationHelper

net.automatalib.automaton.visualization.net.automatalib.automaton.visualization.SSTVisualizationHelper

net.automatalib.automaton.vpa

net.automatalib.automaton.vpa.net.automatalib.automaton.vpa.OneSEVPA

net.automatalib.automaton.vpa.net.automatalib.automaton.vpa.SEVPA

net.automatalib.automaton.vpa.net.automatalib.automaton.vpa.SEVPAGraphView

net.automatalib.automaton.vpa.net.automatalib.automaton.vpa.StackContents

net.automatalib.automaton.vpa.net.automatalib.automaton.vpa.State

net.automatalib.exception

net.automatalib.exception.net.automatalib.exception.FormatException

net.automatalib.exception.net.automatalib.exception.GrowingAlphabetNotSupportedException

net.automatalib.exception.net.automatalib.exception.ModelCheckingException

net.automatalib.exception.net.automatalib.exception.UndefinedPropertyAccessException

net.automatalib.graph

net.automatalib.graph.net.automatalib.graph.AcceptanceGraph

net.automatalib.graph.net.automatalib.graph.BidirectionalGraph

net.automatalib.graph.net.automatalib.graph.CFMPSGraphView

net.automatalib.graph.net.automatalib.graph.ContextFreeModalProcessSystem

net.automatalib.graph.net.automatalib.graph.FiniteKripkeStructure

net.automatalib.graph.net.automatalib.graph.FiniteLabeledGraph

net.automatalib.graph.net.automatalib.graph.Graph

net.automatalib.graph.net.automatalib.graph.IndefiniteGraph

net.automatalib.graph.net.automatalib.graph.IndefiniteSimpleGraph

net.automatalib.graph.net.automatalib.graph.MutableGraph

net.automatalib.graph.net.automatalib.graph.MutableProceduralModalProcessGraph

net.automatalib.graph.net.automatalib.graph.MutableUniversalBidirectionalGraph

net.automatalib.graph.net.automatalib.graph.ProceduralModalProcessGraph

net.automatalib.graph.net.automatalib.graph.ShrinkableGraph

net.automatalib.graph.net.automatalib.graph.SimpleGraph

net.automatalib.graph.net.automatalib.graph.UndirectedGraph

net.automatalib.graph.net.automatalib.graph.UniversalBidirectionalGraph

net.automatalib.graph.net.automatalib.graph.UniversalGraph

net.automatalib.graph.net.automatalib.graph.UniversalIndefiniteGraph

net.automatalib.graph.ads

net.automatalib.graph.ads.net.automatalib.graph.ads.ADSNode

net.automatalib.graph.ads.net.automatalib.graph.ads.RecursiveADSNode

net.automatalib.graph.concept

net.automatalib.graph.concept.net.automatalib.graph.concept.EdgeLabels

net.automatalib.graph.concept.net.automatalib.graph.concept.EdgeWeights

net.automatalib.graph.concept.net.automatalib.graph.concept.FinalNode

net.automatalib.graph.concept.net.automatalib.graph.concept.GraphViewable

net.automatalib.graph.concept.net.automatalib.graph.concept.InitialNode

net.automatalib.graph.concept.net.automatalib.graph.concept.KripkeInterpretation

net.automatalib.graph.concept.net.automatalib.graph.concept.MutableEdgeLabels

net.automatalib.graph.concept.net.automatalib.graph.concept.MutableKripkeInterpretation

net.automatalib.graph.concept.net.automatalib.graph.concept.NodeAcceptance

net.automatalib.graph.concept.net.automatalib.graph.concept.NodeIDs

net.automatalib.graph.helper

net.automatalib.graph.helper.net.automatalib.graph.helper.NodeIDGrowingMapping

net.automatalib.graph.helper.net.automatalib.graph.helper.NodeIDStaticMapping

net.automatalib.graph.helper.net.automatalib.graph.helper.SimpleNodeIDs

net.automatalib.graph

net.automatalib.graph.net.automatalib.graph.package-info

net.automatalib.graph.visualization

net.automatalib.graph.visualization.net.automatalib.graph.visualization.CFMPSVisualizationHelper

net.automatalib.graph.visualization.net.automatalib.graph.visualization.PMPGVisualizationHelper

net.automatalib.modelchecking

net.automatalib.modelchecking.net.automatalib.modelchecking.Lasso

net.automatalib.modelchecking.net.automatalib.modelchecking.ModelChecker

net.automatalib.modelchecking.net.automatalib.modelchecking.ModelCheckerCache

net.automatalib.modelchecking.net.automatalib.modelchecking.ModelCheckerLasso

net.automatalib.modelchecking.net.automatalib.modelchecking.ModelCheckerLassoCache

net.automatalib.serialization

net.automatalib.serialization.net.automatalib.serialization.InputModelData

net.automatalib.serialization.net.automatalib.serialization.InputModelDeserializer

net.automatalib.serialization.net.automatalib.serialization.InputModelSerializer

net.automatalib.serialization.net.automatalib.serialization.ModelDeserializer

net.automatalib.serialization.net.automatalib.serialization.ModelSerializer

net.automatalib.serialization.net.automatalib.serialization.SerializationProvider

net.automatalib.serialization.net.automatalib.serialization.package-info

net.automatalib.ts

net.automatalib.ts.net.automatalib.ts.AcceptorPowersetViewTS

net.automatalib.ts.net.automatalib.ts.DeterministicTransitionSystem

net.automatalib.ts.net.automatalib.ts.FiniteKTS

net.automatalib.ts.net.automatalib.ts.KTS

net.automatalib.ts.net.automatalib.ts.PowersetViewTS

net.automatalib.ts.net.automatalib.ts.TransitionPredicate

net.automatalib.ts.net.automatalib.ts.TransitionSystem

net.automatalib.ts.net.automatalib.ts.UniversalDTS

net.automatalib.ts.net.automatalib.ts.UniversalTransitionSystem

net.automatalib.ts.acceptor

net.automatalib.ts.acceptor.net.automatalib.ts.acceptor.AcceptorTS

net.automatalib.ts.acceptor.net.automatalib.ts.acceptor.DeterministicAcceptorTS

net.automatalib.ts.modal

net.automatalib.ts.modal.net.automatalib.ts.modal.ModalTransitionSystem

net.automatalib.ts.modal.net.automatalib.ts.modal.MutableModalTransitionSystem

net.automatalib.ts.modal.transition

net.automatalib.ts.modal.transition.net.automatalib.ts.modal.transition.ModalEdgeProperty

net.automatalib.ts.modal.transition.net.automatalib.ts.modal.transition.MutableModalEdgeProperty

net.automatalib.ts.modal.transition.net.automatalib.ts.modal.transition.MutableProceduralModalEdgeProperty

net.automatalib.ts.modal.transition.net.automatalib.ts.modal.transition.ProceduralModalEdgeProperty

net.automatalib.ts.output

net.automatalib.ts.output.net.automatalib.ts.output.DeterministicOutputTS

net.automatalib.ts.output.net.automatalib.ts.output.DeterministicStateOutputTS

net.automatalib.ts.output.net.automatalib.ts.output.DeterministicTransitionOutputTS

net.automatalib.ts.output.net.automatalib.ts.output.MealyTransitionSystem

net.automatalib.ts.output.net.automatalib.ts.output.MooreTransitionSystem

net.automatalib.ts

net.automatalib.ts.net.automatalib.ts.package-info

net.automatalib.ts.powerset

net.automatalib.ts.powerset.net.automatalib.ts.powerset.AcceptorPowersetView

net.automatalib.ts.powerset.net.automatalib.ts.powerset.DeterministicAcceptorPowersetView

net.automatalib.ts.powerset.net.automatalib.ts.powerset.DeterministicPowersetView

net.automatalib.ts.powerset.net.automatalib.ts.powerset.PowersetView

net.automatalib.ts.simple

net.automatalib.ts.simple.net.automatalib.ts.simple.SimpleDTS

net.automatalib.ts.simple.net.automatalib.ts.simple.SimpleTS

net.automatalib.visualization

net.automatalib.visualization.net.automatalib.visualization.AggregateVisualizationHelper

net.automatalib.visualization.net.automatalib.visualization.DefaultVisualizationHelper

net.automatalib.visualization.net.automatalib.visualization.NoopVP

net.automatalib.visualization.net.automatalib.visualization.VPManager

net.automatalib.visualization.net.automatalib.visualization.Visualization

net.automatalib.visualization.net.automatalib.visualization.VisualizationHelper

net.automatalib.visualization.net.automatalib.visualization.VisualizationProvider

net.automatalib.visualization.net.automatalib.visualization.package-info

net.automatalib.word

net.automatalib.word.net.automatalib.word.CanonicalWordComparator

net.automatalib.word.net.automatalib.word.EmptyWord

net.automatalib.word.net.automatalib.word.LetterWord

net.automatalib.word.net.automatalib.word.SharedWord

net.automatalib.word.net.automatalib.word.SubwordList

net.automatalib.word.net.automatalib.word.Word

net.automatalib.word.net.automatalib.word.WordBuilder

net.automatalib.word.net.automatalib.word.WordCollector

net.automatalib.word.net.automatalib.word.package-info

© 2015 - 2025 Weber Informatics LLC | Privacy Policy