Class

ostrich.cesolver.stringtheory

CEStringTheoryBuilder

Related Doc: package stringtheory

Permalink

class CEStringTheoryBuilder extends OstrichStringTheoryBuilder

The entry class of the Ostrich string solver.

Linear Supertypes
OstrichStringTheoryBuilder, StringTheoryBuilder, TheoryBuilder, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CEStringTheoryBuilder
  2. OstrichStringTheoryBuilder
  3. StringTheoryBuilder
  4. TheoryBuilder
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CEStringTheoryBuilder()

    Permalink

Type Members

  1. type T = StringTheory

    Permalink
    Definition Classes
    StringTheoryBuilder → TheoryBuilder

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addTransducer(name: String, transducer: SymTransducer): Unit

    Permalink
    Definition Classes
    OstrichStringTheoryBuilder → StringTheoryBuilder

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. var backend: OFlags.CEABackend.Value

    Permalink
    Attributes
    protected

  7. var backwardPropagation: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. var debug: Boolean

    Permalink
    Attributes
    protected

  10. var eager: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  14. var forwardPropagation: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  16. lazy val getTransducerTheory: Option[StringTheory]

    Permalink
    Definition Classes
    OstrichStringTheoryBuilder → StringTheoryBuilder

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. var minimizeAuts: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  20. lazy val name: String

    Permalink
    Definition Classes
    OstrichStringTheoryBuilder → TheoryBuilder

  21. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  22. var nielsenSplitter: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  23. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  24. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  25. def parseParameter(str: String): Unit

    Permalink
    Definition Classes
    CEStringTheoryBuilder → OstrichStringTheoryBuilder → TheoryBuilder

  26. def parseParameters(str: String): Unit

    Permalink
    Definition Classes
    TheoryBuilder

  27. var regexTrans: OFlags.RegexTranslator.Value

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  28. def setAlphabetSize(w: Int): Unit

    Permalink
    Definition Classes
    OstrichStringTheoryBuilder → StringTheoryBuilder

  29. lazy val symTransducers: ArrayBuffer[(String, Transducer)]

    Permalink
    Definition Classes
    OstrichStringTheoryBuilder

  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  31. lazy val theory: CEStringTheory

    Permalink
    Definition Classes
    CEStringTheoryBuilder → OstrichStringTheoryBuilder → TheoryBuilder

  32. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  33. var useLen: OFlags.LengthOptions.Value

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  34. var useParikh: Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    OstrichStringTheoryBuilder

  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  37. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from OstrichStringTheoryBuilder

Inherited from StringTheoryBuilder

Inherited from TheoryBuilder

Inherited from AnyRef

Inherited from Any

Ungrouped