automata-core

library0.12.1javamavenunverified

Core library for AutomataLib, providing concrete implementations of automaton models and abstract base classes.

<dependency>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-core</artifactId>
  <version>0.12.1</version>
</dependency>

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · AUTOMATA-CORE

automata-core

utilityjavav0.12.1

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

DFA

✓ net.automatalib.automata.fsa.DFA

Creates a deterministic finite automaton (DFA) with two states.

import net.automatalib.automata.fsa.DFA; import net.automatalib.automata.fsa.impl.CompactDFA; DFA<?, Character> dfa = new CompactDFA<>(2); System.out.println("DFA created with 2 states");

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.12.1latest on Maven

Audit

Dependencies

No dependency data recorded yet.

Agent activity

15 hits · last 30 days

node

OpenAI (training)