Class

inox.ast.Definitions

ADTSort

Related Doc: package Definitions

Permalink

class ADTSort extends Tree with Trees.Definition

Algebraic datatype sort definition. An ADT sort is linked to a series of constructors (ADTConstructor) for this particular sort.

Linear Supertypes
Trees.Definition, Tree, Serializable, Serializable, Positioned, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ADTSort
  2. Definition
  3. Tree
  4. Serializable
  5. Serializable
  6. Positioned
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ADTSort(id: Identifier, tparams: Seq[Trees.TypeParameterDef], constructors: Seq[Trees.ADTConstructor], flags: Seq[Trees.Flag])

    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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def asString(implicit opts: Trees.PrinterOptions): String

    Permalink
    Definition Classes
    Tree

  6. def clone(): AnyRef

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

  7. val constructors: Seq[Trees.ADTConstructor]

    Permalink

  8. def copiedFrom(o: Tree): ADTSort.this.type

    Permalink
    Definition Classes
    Tree

  9. def copy(id: Identifier = id, tparams: Seq[Trees.TypeParameterDef] = tparams, constructors: Seq[Trees.ADTConstructor] = constructors, flags: Seq[Trees.Flag] = flags): Trees.ADTSort

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  11. def equality(implicit s: Trees.Symbols): Option[Trees.FunDef]

    Permalink

    An equality relation defined on this ADTSort

  12. def equals(that: Any): Boolean

    Permalink
    Definition Classes
    Definition → AnyRef → Any

  13. def finalize(): Unit

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

  14. val flags: Seq[Trees.Flag]

    Permalink
    Definition Classes
    ADTSort → Definition

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

    Permalink
    Definition Classes
    AnyRef → Any

  16. def getPos: Position

    Permalink
    Definition Classes
    Positioned

  17. def hasEquality(implicit s: Trees.Symbols): Boolean

    Permalink

  18. def hasInvariant(implicit s: Trees.Symbols): Boolean

    Permalink

  19. def hashCode(): Int

    Permalink
    Definition Classes
    Definition → AnyRef → Any

  20. val id: Identifier

    Permalink
    Definition Classes
    ADTSort → Definition

  21. def invariant(implicit s: Trees.Symbols): Option[Trees.FunDef]

    Permalink

    An invariant that refines this ADTSort

  22. def isInductive(implicit s: Trees.Symbols): Boolean

    Permalink

  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  24. def isWellFormed(implicit s: Trees.Symbols): Boolean

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  26. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  27. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  28. def setPos(that: Positioned): ADTSort.this.type

    Permalink
    Definition Classes
    Positioned

  29. def setPos(pos: Position): ADTSort.this.type

    Permalink
    Definition Classes
    Positioned

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

    Permalink
    Definition Classes
    AnyRef

  31. def toString(): String

    Permalink
    Definition Classes
    Tree → AnyRef → Any

  32. val tparams: Seq[Trees.TypeParameterDef]

    Permalink

  33. def typeArgs: Seq[Trees.TypeParameter]

    Permalink

  34. def typed(tps: Seq[Trees.Type])(implicit s: Trees.Symbols): Trees.TypedADTSort

    Permalink

    Wraps this ADTSort in a in TypedADTSort with the specified type parameters

  35. def typed(implicit s: Trees.Symbols): Trees.TypedADTSort

    Permalink

    Wraps this ADTSort in a in TypedADTSort with its own type parameters

  36. final def wait(): Unit

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

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

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

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

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

Inherited from Trees.Definition

Inherited from Tree

Inherited from Serializable

Inherited from Serializable

Inherited from Positioned

Inherited from AnyRef

Inherited from Any

Ungrouped