Class

ostrich.OstrichStringTheory

OstrichStringSort

Related Doc: package OstrichStringTheory

Permalink

class OstrichStringSort extends ProxySort

Linear Supertypes
ProxySort, Sort, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OstrichStringSort
  2. ProxySort
  3. Sort
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OstrichStringSort()

    Permalink

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 all(f: (ITerm, ITerm, ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  5. def all(f: (ITerm, ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  6. def all(f: (ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  7. def all(f: (ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  8. def all(f: (ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  9. def all(f: IFormula): ISortedQuantified

    Permalink
    Definition Classes
    Sort

  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  11. val asTerm: Decoder[Option[ITerm]]

    Permalink
    Definition Classes
    Sort

  12. def augmentModelTermSet(model: Conjunction, assignment: Map[(IdealInt, Sort), ITerm], allTerms: Set[(IdealInt, Sort)], definedTerms: Set[(IdealInt, Sort)]): Unit

    Permalink
    Definition Classes
    ProxySort → Sort

  13. def boundVariable(index: Int): IVariable

    Permalink
    Definition Classes
    Sort

  14. val cardinality: Option[IdealInt]

    Permalink
    Definition Classes
    ProxySort → Sort

  15. def clone(): AnyRef

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

  16. def decodeToTerm(d: IdealInt, assignment: Map[(IdealInt, Sort), ITerm]): Option[ITerm]

    Permalink
    Definition Classes
    OstrichStringSort → ProxySort → Sort

  17. def eps(f: (ITerm) ⇒ IFormula): ISortedEpsilon

    Permalink
    Definition Classes
    Sort

  18. def eps(f: IFormula): ISortedEpsilon

    Permalink
    Definition Classes
    Sort

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

    Permalink
    Definition Classes
    AnyRef

  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  21. def ex(f: (ITerm, ITerm, ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  22. def ex(f: (ITerm, ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  23. def ex(f: (ITerm, ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  24. def ex(f: (ITerm, ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  25. def ex(f: (ITerm) ⇒ IFormula): IFormula

    Permalink
    Definition Classes
    Sort

  26. def ex(f: IFormula): ISortedQuantified

    Permalink
    Definition Classes
    Sort

  27. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  29. def getSubTerms(ids: Seq[Term], sorts: Seq[Sort], terms: Map[(IdealInt, Sort), ITerm]): Either[Seq[ITerm], Seq[(IdealInt, Sort)]]

    Permalink
    Attributes
    protected
    Definition Classes
    Sort

  30. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  31. lazy val individuals: Stream[ITerm]

    Permalink
    Definition Classes
    OstrichStringSort → ProxySort → Sort

  32. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  33. def membershipConstraint(t: Term)(implicit order: TermOrder): Formula

    Permalink
    Definition Classes
    ProxySort → Sort

  34. val name: String

    Permalink
    Definition Classes
    OstrichStringSort → ProxySort → Sort

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

    Permalink
    Definition Classes
    AnyRef

  36. def newConstant(name: String): ConstantTerm

    Permalink
    Definition Classes
    Sort

  37. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  38. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  39. def setTheory(_theory: OstrichStringTheory): Unit

    Permalink
    Attributes
    protected[ostrich]

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

    Permalink
    Definition Classes
    AnyRef

  41. def toString(): String

    Permalink
    Definition Classes
    Sort → AnyRef → Any

  42. final def wait(): Unit

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

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

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

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

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

  45. def witness: Option[ITerm]

    Permalink
    Definition Classes
    Sort

Inherited from ProxySort

Inherited from Sort

Inherited from AnyRef

Inherited from Any

Ungrouped