NOP

Transducer

NamedAutomaton

AutDatabase

NestedAutomaton

automata

NonWordBoundary

ECMARegexParser

NormalLabel

AnchoredLabels

n

Plus

name

OstrichStringSort OstrichStringTheoryBuilder Model OstrichModel

needCompleteContentsForConflicts

EagerExploration Exploration LazyExploration ParikhExploration

nestAutomata

AutomataUtils

neverMinimize

BricsAutomaton BricsAutomatonWrapper

newState

CETransducer CostEnrichedAutomatonBase

newStore

EagerExploration Exploration LazyExploration ParikhExploration

newTrans

ReplaceCharAutomaton

newVar

FormulaBuilder

newline

Writer

nonTreeLikeApps

Exploration ParikhExploration

none

JavascriptPrioAutomatonBuilder PrioAutomatonBuilder PythonPrioAutomatonBuilder

normalizeGeneralProperty

UnicodeData

numNodes

CaleyGraph

numvars

PrioStreamingTransducer PrioStreamingTransducerBuilder