1. ostrich
   1. (class)EagerExploration
   2. (object)(class)ECMARegexParser
   3. (object)(class)Exploration
   4. (class)IntValueEnumTheory
   5. (class)LazyExploration
   6. (object)(case class)OFlags
   7. (class)OstrichEqualityPropagator
   8. (class)OstrichInternalPreprocessor
   9. (object)
      OstrichMain
   10. (class)OstrichPreprocessor
   11. (object)(class)OstrichReducer
   12. (class)OstrichReducerFactory
   13. (class)OstrichRegexEncoder
   14. (object)(class)OstrichSolver
   15. (class)OstrichStringEncoder
   16. (class)OstrichStringFunctionTranslator
   17. (object)(class)OstrichStringTheory
   18. (class)OstrichStringTheoryBuilder
   19. (class)StrDatabase
   20. (object)
       UnicodeData
   1. ostrich.automata
      1. (case class)_InitFinalAutomaton
      2. (case class)_ProductAutomaton
      3. (object)
         AnchoredLabels
      4. (trait)AtomicStateAutomaton
      5. (object)(class)AtomicStateAutomatonAdapter
      6. (trait)AtomicStateAutomatonBuilder
      7. (object)(class)AutDatabase
      8. (object)
         AutomataUtils
      9. (trait)Automaton
      10. (object)(class)Box
      11. (object)(class)BricsAutomaton
      12. (class)BricsAutomatonBuilder
      13. (object)(class)BricsPrioTransducer
      14. (class)BricsPrioTransducerBuilder
      15. (class)BricsTLabelEnumerator
      16. (object)
          BricsTLabelOps
      17. (object)(class)BricsTransducer
      18. (class)BricsTransducerBuilder
      19. (object)(class)CaleyGraph
      20. (case class)ConcatAutomaton
      21. (object)
          InitFinalAutomaton
      22. (class)JavascriptPrioAutomatonBuilder
      23. (case class)NestedAutomaton
      24. (case class)PostImageAutomaton
      25. (case class)PreImageAutomaton
      26. (object)(case class)PrioAutomaton
      27. (class)PrioAutomatonBuilder
      28. (object)(class)PrioStreamingTransducer
      29. (class)PrioStreamingTransducerBuilder
      30. (object)
          ProductAutomaton
      31. (class)PythonPrioAutomatonBuilder
      32. (object)(class)Regex2Aut
      33. (object)(class)Regex2PFA
      34. (case class)ReplaceCharAutomaton
      35. (case class)ReverseAutomaton
      36. (object)(trait)StreamingTransducer
      37. (trait)StreamingTransducerBuilder
      38. (trait)TLabelEnumerator
      39. (trait)TLabelOps
      40. (object)(trait)Transducer
      41. (trait)TransducerBuilder
      42. (object)
          TransducerTranslator
   2. ostrich.preop
      1. (object)
         ConcatPreOp
      2. (object)
         ExtractPreOp
      3. (trait)PreOp
      4. (object)
         ReplaceAllCGPreOp
      5. (object)
         ReplaceAllPreOp
      6. (class)ReplaceAllPreOpChar
      7. (object)
         ReplaceAllPreOpRegEx
      8. (class)ReplaceAllPreOpTran
      9. (object)
         ReplaceAllPreOpWord
      10. (object)
          ReplaceCGPreOp
      11. (object)
          ReplacePreOp
      12. (object)
          ReplacePreOpRegEx
      13. (class)ReplacePreOpTran
      14. (object)
          ReplacePreOpWord
      15. (object)
          ReversePreOp
      16. (object)(class)StreamingTransducerPreOp
      17. (object)(class)TransducerPreOp
   3. ostrich.proofops
      1. (class)FormulaBuilder
      2. (object)(class)OstrichNielsenSplitter
      3. (class)OstrichPredtoEqConverter