object Heap
Companion object for the trait implemented by the different heap theories.
- Alphabetic
- By Inheritance
- Heap
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- case class ADTSort(num: Int) extends CtorArgSort with Product with Serializable
Reference to the num'th heap ADT sort.
- sealed abstract class CtorArgSort extends AnyRef
Abstract class for the sorts that the heap ADT can refer to.
- case class CtorSignature(arguments: Seq[(String, CtorArgSort)], result: ADTSort) extends Product with Serializable
Specification of a heap ADT constructor.
- case class OtherSort(sort: Sort) extends CtorArgSort with Product with Serializable
Reference to some externally defined sort.
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def register(t: Heap): Unit
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- case object AddrRangeSort extends CtorArgSort with Product with Serializable
Reference to the address range sort that is specific to the heap to be declared.
- case object AddrSort extends CtorArgSort with Product with Serializable
Reference to the address sort that is specific to the heap to be declared.
- object HeapRelatedFunction
Extractor to recognise any function related to a heap theory.
- object HeapRelatedPredicate
Extractor to recognise any function related to a heap theory.
- object HeapRelatedSort
Extractor to recognise any sort related to a heap theory.
Extractor to recognise any sort related to a heap theory. This includes the sorts for heaps and addresses, address ranges, user defined ADT sorts, etc.
- object Names
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)