StringTheory

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object ConcreteString

Extractor to recognise terms that represent concrete strings.

object StrCons

Extractor to recognise the string str.cons function.

object StrEmpty

Extractor to recognise the string str.empty function.

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

def lookupRepresentationFunction(f: IFunction): Option[StringTheory]

def lookupStringSort(s: Sort): Option[StringTheory]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def register(t: StringTheory): Unit

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

def term2List(t: ITerm): List[Int]

Translate a concrete string in term representation to a list of integers.

def term2String(t: ITerm): String

Translate a concrete string in term representation to a string.

def toString(): String

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit