JarCasting
JarCasting JarCasting

Группа библиотек: net.automatalib

net.automatalib

AutomataLib :: API

 net.automatalib : automata-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.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Core

 net.automatalib : automata-core

The core artifact of AutomataLib. This library contains concrete implementations for many of the automaton model interfaces defined in the API artifact, as well as abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are not in the scope of this artifact.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Commons :: Utilities

 net.automatalib : automata-commons-util

Basic utility library containing several useful classes (e.g., a Pair class) to ease everyday programming.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib

 net.automatalib : automata-parent

A fully generic library for automata, graphs, and models, written in Java. This is the parent artifact which does not have any source code. Please refer to the "modules" page for more detailed documentation on the single library artifacts.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Utilities

 net.automatalib : automata-util

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Commons :: Smart Collections

 net.automatalib : automata-commons-smartcollections

This library provides efficient implementations for various collection data structures (esp. linked lists and priority queues), which have very insufficient implementation in the Java Collections Foundations that makes it hard or even impossible to exploit their efficiencies.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: Core

 net.automatalib : automata-serialization-core

Generic automata serialization core

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Incremental

 net.automatalib : automata-incremental

A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and Mealy machines from a finite, incrementally growing set of example inputs/outputs.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Adapters :: BRICS

 net.automatalib : automata-brics

This artifact contains adapter classes for treating the Automaton objects from the BRICS library (http://www.brics.dk/automaton) as AutomataLib models.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: LearnLibV2

 net.automatalib : automata-serialization-learnlibv2

(De-)Serializers for the legacy LearnLibV2 format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Visualization :: JUNG Visualizer

 net.automatalib : automata-jung-visualizer

Visualizer using the Java Utility for Networks and Graphs

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: TAF

 net.automatalib : automata-serialization-taf

(De-)Serializers for the Textual Automaton Format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: SAF

 net.automatalib : automata-serialization-saf

(De-)Serializers for the Simple Automaton Format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: ETF

 net.automatalib : automata-serialization-etf

Serializers for LTSmin's Enumerated Table Format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: FSM

 net.automatalib : automata-serialization-fsm

Deserializers for the Finite State Machine format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: DOT

 net.automatalib : automata-serialization-dot

(De-)Serializers for the DOT Format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Model Checking :: LTSmin

 net.automatalib : automata-modelchecking-ltsmin

LTSmin Model Checker

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization :: AUT

 net.automatalib : automata-serialization-aut

(De-)Serializers for the AUT Format

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Visualization :: DOT Visualizer

 net.automatalib : automata-dot-visualizer

This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Build Parent

 net.automatalib : automata-build-parent

A utility artifact, that defines certain plugin executions for the build process. May be used to define dependencies on the "build-tools" artifact without introducing cyclic dependencies with the general parent.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Commons

 net.automatalib : automata-commons-parent

Common parent metaproject for various small Java libraries which are required by AutomataLib, but are not specific to AutomataLib itself (i.e., are not or only indirectly related to modeling automata and graphs).

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Adapters

 net.automatalib : automata-adapters-parent

Common parent metaproject for various adapters, i.e., wrapper class that allow to treat automaton or graph models from other software libraries as AutomataLib automata or graphs.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Visualization

 net.automatalib : automata-visualization-parent

Automata and Graph visualization libraries.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Serialization

 net.automatalib : automata-serialization-parent

Serialization parent metaproject for various (de-)serialization methods.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Model Checking

 net.automatalib : automata-modelchecking-parent

AutomataLib model checking libraries.

Последняя версия: 0.10.0

Дата:
net.automatalib

AutomataLib :: Build Tools

 net.automatalib : automata-build-tools

Tools and resources required for building AutomataLib

Последняя версия: 0.10.0

Дата:

AutomataLib :: Commons :: DOT Utilities

 net.automatalib : automata-commons-dotutil

This utility artifact contains methods that facilitate interaction with the <a href="http://www.graphviz.org/">GraphVIZ DOT</a> tool, and allows to render and display DOT models directly from within the application.

Последняя версия: 0.6.0

Дата:

AutomataLib :: Misc :: Misc. Algorithms

 net.automatalib : automata-misc-algorithms

This artifact contains several miscellaneous, well-known algorithms, which however are rather specific in their concrete use case and therefore not fit for the AutomataLib Utilities library. Examples include Dijkstra's algorithm for the SSSP problem, the Floyd-Warshall algorithm for the APSP problem and Tarjan's algorithm for finding all strongly-connected components in a graph.

Последняя версия: 0.6.0

Дата:

AutomataLib :: Misc

 net.automatalib : automata-misc-parent

Common parent metaproject for various miscellaneous additions (algorithms, automaton types) to AutomataLib, which are rather specific in their respective use case.

Последняя версия: 0.6.0

Дата:

AutomataLib :: Examples

 net.automatalib : automata-examples

A collection of various small example applications that illustrate several use cases of AutomataLib.<br /> <em>Note:</em> This artifact is not intended as a library, but only exists for educational purposes.

Последняя версия: 0.3.1-ase2013-tutorial-r1

Дата:

  • 1