Packages

o

ap.parser

SMTTypes

object SMTTypes

Representation of SMT-LIB types. Those are essentially just wrappers around the corresponding sorts.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SMTTypes
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class SMTADT(adt: ADT, sortNum: Int) extends SMTType with Product with Serializable
  2. case class SMTArray(arguments: List[SMTType], result: SMTType) extends SMTType with Product with Serializable
  3. case class SMTBitVec(width: Int) extends SMTType with Product with Serializable
  4. case class SMTChar(sort: Sort) extends SMTType with Product with Serializable
  5. case class SMTFF(card: IdealInt) extends SMTType with Product with Serializable
  6. case class SMTHeap(heap: Heap) extends SMTType with Product with Serializable
  7. case class SMTHeapAddress(heap: Heap) extends SMTType with Product with Serializable
  8. case class SMTReal(sort: Sort) extends SMTType with Product with Serializable
  9. case class SMTRegLan(sort: Sort) extends SMTType with Product with Serializable
  10. case class SMTSeq(theory: SeqTheory, elementType: SMTType) extends SMTType with Product with Serializable
  11. case class SMTString(sort: Sort) extends SMTType with Product with Serializable
  12. abstract class SMTType extends AnyRef
  13. case class SMTUnint(sort: Sort) extends SMTType with Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  14. def sort2SMTType(sort: Sort): (SMTType, Option[(ITerm) => IFormula])
  15. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  18. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  20. object SMTADT extends Serializable
  21. case object SMTBool extends SMTType with Product with Serializable
  22. case object SMTInteger extends SMTType with Product with Serializable

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped