RefVariable
StreamingTransducer
Regex2Aut
automata
Regex2CEAut
automata
Regex2PFA
automata
RegexSort
OstrichStringTheory
ReplaceAllCEPreOp
preop
ReplaceAllCGPreOp
preop
ReplaceAllPreOp
preop
ReplaceAllPreOpChar
preop
ReplaceAllPreOpRegEx
preop
ReplaceAllPreOpTran
preop
ReplaceAllPreOpWord
preop
ReplaceCEPreOp
preop
ReplaceCGPreOp
preop
ReplaceCharAutomaton
automata
ReplacePreOp
preop
ReplacePreOpRegEx
preop
ReplacePreOpTran
preop
ReplacePreOpWord
preop
Result
core
ReverseAutomaton
automata
ReversePreOp
preop
rand
OstrichNielsenSplitter
re_*?
OstrichStringTheory
re_+?
OstrichStringTheory
re_begin_anchor
OstrichStringTheory
re_capture
OstrichStringTheory
re_case_insensitive
OstrichStringTheory
re_end_anchor
OstrichStringTheory
re_from_ecma2020
OstrichStringTheory
re_from_ecma2020_flags
OstrichStringTheory
re_loop_?
OstrichStringTheory
re_opt_?
OstrichStringTheory
re_reference
OstrichStringTheory
reduce
OstrichReducer
reduceNegPrefixToEquation
OstrichPredtoEqConverter
reduceNegSuffixToEquation
OstrichPredtoEqConverter
reducePredicatesToEquations
OstrichPredtoEqConverter
reducerPlugin
OstrichStringTheory
regex2Aut
AutDatabase
CEAutDatabase
regex2Automaton
AutDatabase
regex2ComplementedAutomaton
AutDatabase
regex2Id
AutDatabase
regexAtomToId
OstrichReducer
regexes
AutDatabase
registerTerm
TermGenerator
registers
CostEnrichedAutomatonBase
registers_=
CostEnrichedAutomatonBase
regsRelation
CostEnrichedAutomatonBase
regsRelation_=
CostEnrichedAutomatonBase
removeDeadState
CEBasicOperations
removeDuplicatedReg
CostEnrichedAutomatonBase
removeDuplicatedTrans
CEBasicOperations
repeat
CEBasicOperations
repeatUnwind
CEBasicOperations
replaceTransitions
AutomataUtils
reset
Regex2PFA
resolveConcat
OstrichNielsenSplitter
OstrichPredtoEqConverter
result
FormulaBuilder
resultTerms
Exploration
reverse
AutomataUtils
rewriteStrReplace
OstrichPredtoEqConverter
rexOps
OstrichSolver
CESolver
right
InsideLitDecompPoint
SimpleDecompPoint