RefVariable
StreamingTransducer
Regex2Aut
automata
Regex2PFA
automata
RegexSort
OstrichStringTheory
ReplaceAllCGPreOp
preop
ReplaceAllPreOp
preop
ReplaceAllPreOpChar
preop
ReplaceAllPreOpRegEx
preop
ReplaceAllPreOpTran
preop
ReplaceAllPreOpWord
preop
ReplaceCGPreOp
preop
ReplaceCharAutomaton
automata
ReplacePreOp
preop
ReplacePreOpRegEx
preop
ReplacePreOpTran
preop
ReplacePreOpWord
preop
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
regex2Automaton
AutDatabase
regex2ComplementedAutomaton
AutDatabase
regex2Id
AutDatabase
regexAtomToId
OstrichReducer
replaceTransitions
AutomataUtils
reset
Regex2PFA
resolveConcat
OstrichNielsenSplitter
OstrichPredtoEqConverter
result
FormulaBuilder
resultTerms
Exploration
reverse
AutomataUtils
rewriteStrReplace
OstrichPredtoEqConverter
rexOps
OstrichSolver
right
InsideLitDecompPoint
SimpleDecompPoint