ostrich

Type Members

1. class ECMARegexParser extends AnyRef

   

2. class EagerExploration extends Exploration

   

   Version of exploration that eagerly computes products of regex constraints.

3. abstract class Exploration extends AnyRef

   

   Depth-first exploration of a conjunction of function applications

4. class LazyExploration extends Exploration

   

   Version of exploration that keeps automata separate and avoids computation of products.

   Version of exploration that keeps automata separate and avoids computation of products. No caching yet

5. case class OFlags(eagerAutomataOperations: Boolean = false, measureTimes: Boolean = false, useLength: OFlags.LengthOptions.Value = OFlags.LengthOptions.Auto, forwardApprox: Boolean = false, minimizeAutomata: Boolean = false) extends Product with Serializable

   

6. class OstrichEqualityPropagator extends AnyRef

   

   Class to propagate equalities between string variables; this is necessary in general to combine the string theory with others theories.

7. class OstrichPreprocessor extends ContextAwareVisitor[Unit, IExpression]

   

   Pre-processor for reducing some operators to more basic ones.

8. class OstrichReducer extends ReducerPlugin

   

   Reducer for string constraints.

   Reducer for string constraints. This class is responsible for simplifying string formulas during proof construction.

9. class OstrichReducerFactory extends ReducerPluginFactory

   

10. class OstrichRegexEncoder extends ContextAwareVisitor[Unit, IExpression]

    

    Pre-processor for replacing regular expressions with just numeric ids, which streamlines the translation to automata.

11. class OstrichSolver extends AnyRef

    

12. class OstrichStringEncoder extends ContextAwareVisitor[Unit, IExpression]

    

    Stores constant string to strDatabase for easy access.

13. class OstrichStringFunctionTranslator extends AnyRef

    

    Class for mapping string constraints to string functions.

14. class OstrichStringTheory extends AbstractStringTheory

    

    The entry class of the Ostrich string solver.

15. class OstrichStringTheoryBuilder extends StringTheoryBuilder

    

    The entry class of the Ostrich string solver.

16. class StrDatabase extends AnyRef