1. ostrich
   1. (case class)AutomatonFragment
   2. (object)(class)AutomatonParser
   3. (object)(class)ECMARegexParser
   4. (class)IntValueEnumTheory
   5. (object)(case class)OFlags
   6. (class)OstrichAxioms
   7. (class)OstrichEqualityPropagator
   8. (class)OstrichFactorizer
   9. (class)OstrichInternalPreprocessor
   10. (object)
       OstrichMain
   11. (class)OstrichPreprocessor
   12. (object)(class)OstrichReducer
   13. (class)OstrichReducerFactory
   14. (class)OstrichRegexEncoder
   15. (class)OstrichStringEncoder
   16. (class)OstrichStringFunctionTranslator
   17. (object)(class)OstrichStringTheory
   18. (object)(class)OstrichStringTheoryBuilder
   19. (object)
       PortfolioSetup
   20. (class)StrDatabase
   21. (case class)Transition
   22. (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. (class)AutomatonTree
      11. (object)(class)Box
      12. (object)(class)BricsAutomaton
      13. (class)BricsAutomatonBuilder
      14. (object)(class)BricsPrioTransducer
      15. (class)BricsPrioTransducerBuilder
      16. (class)BricsTLabelEnumerator
      17. (object)
          BricsTLabelOps
      18. (object)(class)BricsTransducer
      19. (class)BricsTransducerBuilder
      20. (object)(class)CaleyGraph
      21. (case class)ConcatAutomaton
      22. (class)ECMAToSymbAFA2
      23. (object)
          InitFinalAutomaton
      24. (class)JavascriptPrioAutomatonBuilder
      25. (case class)LengthBoundedAutomaton
      26. (case class)NestedAutomaton
      27. (case class)PostImageAutomaton
      28. (case class)PreImageAutomaton
      29. (object)(case class)PrioAutomaton
      30. (class)PrioAutomatonBuilder
      31. (object)(class)PrioStreamingTransducer
      32. (class)PrioStreamingTransducerBuilder
      33. (object)
          ProductAutomaton
      34. (class)PythonPrioAutomatonBuilder
      35. (object)(class)Regex2Aut
      36. (object)(class)Regex2PFA
      37. (case class)ReplaceCharAutomaton
      38. (case class)ReverseAutomaton
      39. (object)(trait)StreamingTransducer
      40. (trait)StreamingTransducerBuilder
      41. (trait)TLabelEnumerator
      42. (trait)TLabelOps
      43. (object)(trait)Transducer
      44. (trait)TransducerBuilder
      45. (object)
          TransducerTranslator
      1. ostrich.automata.afa2
         1. (object)
            AFA2PrintingUtils
         2. (case class)EpsTransition
         3. (object)
            Left
         4. (object)
            Right
         5. (class)Step
         6. (case class)StepTransition
         7. (case class)SymbTransition
         8. (class)Transition
         1. ostrich.automata.afa2.concrete
            1. (case class)AFA2
            2. (object)(class)AFA2StateDuplicator
            3. (class)LazyNFATranslator
            4. (object)
               NFATranslator
         2. ostrich.automata.afa2.symbolic
            1. (class)BState
            2. (case class)EpsAFA2
            3. (case class)MState
            4. (case class)SymbAFA2
            5. (class)SymbAFA2Builder
            6. (case class)SymbBEpsTransition
            7. (case class)SymbBStepTransition
            8. (class)SymbBTransition
            9. (class)SymbEpsReducer
            10. (case class)SymbExtAFA2
            11. (case class)SymbMAFA2
            12. (case class)SymbMEpsTransition
            13. (case class)SymbMStepTransition
            14. (class)SymbMTransition
            15. (object)(case class)SymbMutableAFA2
            16. (object)(class)SymbToConcTranslator
   2. ostrich.cesolver
      1. (object)
         CEMain
      1. ostrich.cesolver.automata
         1. (case class)_CostEnrichedInitFinalAutomaton
         2. (object)(class)BricsAutomatonWrapper
         3. (class)CEAutDatabase
         4. (object)
            CEBasicOperations
         5. (class)CETLabelEnumerator
         6. (object)(class)CETransducer
         7. (class)CostEnrichedAutomaton
         8. (class)CostEnrichedAutomatonAdapter
         9. (class)CostEnrichedAutomatonBase
         10. (object)
             CostEnrichedInitFinalAutomaton
         11. (class)OldAutDatabase
         12. (class)Regex2CEAut
      2. ostrich.cesolver.convenience
         1. (object)
            CostEnrichedConvenience
      3. ostrich.cesolver.core
         1. (object)(trait)Model
         2. (class)OstrichModel
         3. (object)(class)ParikhExploration
         4. (class)ParikhStore
         1. ostrich.cesolver.core.finalConstraints
            1. (class)BaselineFinalConstraints
            2. (object)(trait)FinalConstraints
            3. (class)UnaryFinalConstraints
         2. ostrich.cesolver.core.finalConstraintsSolver
            1. (class)BaselineSolver
            2. (trait)FinalConstraintsSolver
            3. (object)(class)Result
            4. (class)UnaryBasedSolver
      4. ostrich.cesolver.preop
         1. (trait)CEPreOp
         2. (object)(class)CETransducerPreOp
         3. (object)
            ConcatCEPreOp
         4. (object)(class)IndexOfCEPreOp
         5. (object)(class)LengthCEPreOp
         6. (object)
            PreOpUtil
         7. (object)(class)ReplaceAllCEPreOp
         8. (object)
            ReplaceCELongestPreOp
         9. (class)ReplaceCEPreOp
         10. (trait)ReplaceCEPreOpBase
         11. (object)
             ReplaceCEPreOpLongestRegEx
         12. (object)
             ReplaceCEPreOpShortestRegEx
         13. (object)
             ReplaceCEPreOpWord
         14. (object)
             ReplaceCEShortestPreOp
         15. (class)SubStr_0_indexofc0
         16. (class)SubStr_0_indexofc0Plus1
         17. (class)SubStr_0_lenMinus1
         18. (class)SubStr_indexofc0Plus1_tail
         19. (class)SubStr_lenMinus1_1
         20. (class)SubStr_n_lenMinusM
         21. (object)(class)SubStringCEPreOp
         22. (object)
             SubStrPreImageUtil
      5. ostrich.cesolver.preprocess
         1. (class)CEInternalPreprocessor
         2. (class)CEPredtoEqConverter
         3. (class)CEPreprocessor
         4. (class)CEReducer
         5. (class)CEReducerFactory
      6. ostrich.cesolver.stringtheory
         1. (class)CESolver
         2. (class)CEStringFunctionTranslator
         3. (class)CEStringTheory
         4. (class)CEStringTheoryBuilder
      7. ostrich.cesolver.util
         1. (class)CatraWriter
         2. (class)ConstSubstVisitor
         3. (class)DotWriter
         4. (class)Logger
         5. (object)
            ParikhUtil
         6. (object)(class)TermGenerator
         7. (case class)TimeoutException
         8. (class)TmpWriter
         9. (case class)UnknownException
         10. (trait)Writer
   3. ostrich.preop
      1. (object)
         ConcatPreOp
      2. (object)
         ExtractPreOp
      3. (object)
         NOPPreOp
      4. (trait)PreOp
      5. (object)
         ReplaceAllCGPreOp
      6. (object)
         ReplaceAllLongestPreOp
      7. (object)
         ReplaceAllLongestPreOpRegEx
      8. (class)ReplaceAllPreOpBase
      9. (class)ReplaceAllPreOpChar
      10. (class)ReplaceAllPreOpTran
      11. (object)
          ReplaceAllPreOpWord
      12. (object)
          ReplaceAllShortestPreOp
      13. (object)
          ReplaceAllShortestPreOpRegEx
      14. (object)
          ReplaceCGPreOp
      15. (object)
          ReplaceLongestPreOp
      16. (object)
          ReplaceLongestPreOpRegEx
      17. (class)ReplacePreOpBase
      18. (class)ReplacePreOpTran
      19. (object)
          ReplacePreOpWord
      20. (object)
          ReplaceShortestPreOp
      21. (object)
          ReplaceShortestPreOpRegEx
      22. (object)
          ReversePreOp
      23. (object)(class)StreamingTransducerPreOp
      24. (object)(class)TransducerPreOp
   4. ostrich.proofops
      1. (class)BackwardsSaturation
      2. (class)CutSaturation
      3. (class)FormulaBuilder
      4. (class)ForwardsSaturation
      5. (class)LengthAbstraction
      6. (class)OstrichClose
      7. (class)OstrichCut
      8. (object)(class)OstrichForwardsProp
      9. (class)OstrichIntersect
      10. (object)(class)OstrichNielsenSplitter
      11. (class)OstrichPredtoEqConverter
      12. (class)OstrichStrInReTranslator
      13. (trait)PropagationSaturationUtils