stringtheory

Type Members

1. class CESolver extends AnyRef

   

2. class CEStringFunctionTranslator extends OstrichStringFunctionTranslator

   

   Class for mapping string constraints to string functions.

3. class CEStringTheory extends OstrichStringTheory

   

   The entry class of the Ostrich string solver.

4. class CEStringTheoryBuilder extends OstrichStringTheoryBuilder

   

   The entry class of the Ostrich string solver.