hub / github.com/cs-au-dk/dk.brics.automaton

github.com/cs-au-dk/dk.brics.automaton @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

352 symbols 1,029 edges 20 files 246 documented · 70%

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

AutomatonProvider (Interface)

Automaton provider for RegExp. RegExp#toAutomaton(AutomatonProvider) [2 implementers]

src/dk/brics/automaton/AutomatonProvider.java

Core symbols most depended-on inside this repo

put

called by 137

src/dk/brics/automaton/Datatypes.java

add

called by 109

src/dk/brics/automaton/StringUnionOperations.java

makeCharRange

called by 102

src/dk/brics/automaton/Automaton.java

get

called by 58

src/dk/brics/automaton/Datatypes.java

isSingleton

called by 36

src/dk/brics/automaton/Automaton.java

getStates

called by 34

src/dk/brics/automaton/Automaton.java

concatenate

called by 32

src/dk/brics/automaton/Automaton.java

makeChar

called by 24

src/dk/brics/automaton/Automaton.java

Shape

Method 324

Class 26

Enum 1

Interface 1

Languages

Java100%

Modules by API surface

src/dk/brics/automaton/Automaton.java90 symbols

src/dk/brics/automaton/RegExp.java40 symbols

src/dk/brics/automaton/MinimizationOperations.java27 symbols

src/dk/brics/automaton/BasicAutomata.java25 symbols

src/dk/brics/automaton/StringUnionOperations.java22 symbols

src/dk/brics/automaton/SpecialOperations.java20 symbols

src/dk/brics/automaton/Datatypes.java17 symbols

src/dk/brics/automaton/BasicOperations.java17 symbols

src/dk/brics/automaton/State.java15 symbols

src/dk/brics/automaton/RunAutomaton.java15 symbols

src/dk/brics/automaton/AutomatonMatcher.java14 symbols

src/dk/brics/automaton/Transition.java11 symbols

For agents

$ claude mcp add dk.brics.automaton \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact