NOP

Transducer

NamedAutomaton

AutDatabase

NestedAutomaton

automata

NonWordBoundary

ECMARegexParser

NormalLabel

AnchoredLabels

n

Plus

name

OstrichStringSort OstrichStringTheoryBuilder

needCompleteContentsForConflicts

EagerExploration Exploration LazyExploration

nestAutomata

AutomataUtils

neverMinimize

BricsAutomaton

newStore

EagerExploration Exploration LazyExploration

newTrans

ReplaceCharAutomaton

none

JavascriptPrioAutomatonBuilder PrioAutomatonBuilder PythonPrioAutomatonBuilder

numNodes

CaleyGraph

numvars

PrioStreamingTransducer PrioStreamingTransducerBuilder