MaxSimultaneousProduct

AutomataUtils

Model

core

magnitudeBoundPred

IntValueEnumTheory

magnitudeSplit

Splitter

main

OstrichMain CEMain

makeAnyString

BricsAutomaton BricsAutomatonWrapper

makeCaseInsensitive

AutomataUtils

makeEmpty

BricsAutomatonWrapper

makeEmptyString

BricsAutomatonWrapper

matrixFors

FormulaBuilder

measure

Exploration ParikhExploration ParikhUtil

measureTimeSolve

FinalConstraintsSolver

measureTimes

OFlags

minimize

BricsAutomatonBuilder CETransducer

minimizeAutomata

OFlags

minimizeAuts

OstrichStringTheoryBuilder

minimizeHopcroft

CEBasicOperations

minimizeHopcroftByVec

CEBasicOperations

model

Model FoundModel

mostlySimplifiedAut

UnaryFinalConstraints