ExtArray

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val AC: AC_ARRAY.type

object Const

Extractor recognising the const function of any array theory.

object Lambda

object Select

Extractor recognising the select function of any array theory.

object Store

Extractor recognising the store function of any array theory.

def apply(indexSorts: Seq[Sort], objSort: Sort): ExtArray

Get a unique instance of the array theory with the given index and element sorts.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit