Debug

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object AC_ADT extends ASSERTION_CATEGORY with Product with Serializable

object AC_ALGEBRA extends ASSERTION_CATEGORY with Product with Serializable

object AC_ALIAS_ANALYSER extends ASSERTION_CATEGORY with Product with Serializable

object AC_ARRAY extends ASSERTION_CATEGORY with Product with Serializable

object AC_BASE_TYPE extends ASSERTION_CATEGORY with Product with Serializable

object AC_BLOCKED_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

object AC_CERTIFICATES extends ASSERTION_CATEGORY with Product with Serializable

object AC_CERTIFICATE_LINEARISER extends ASSERTION_CATEGORY with Product with Serializable

object AC_CLAUSE_MATCHER extends ASSERTION_CATEGORY with Product with Serializable

object AC_COMPLEX_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

object AC_COMPUTATION_LOGGER extends ASSERTION_CATEGORY with Product with Serializable

object AC_CONSTANT_FREEDOM extends ASSERTION_CATEGORY with Product with Serializable

object AC_CONSTRAINT_SIMPLIFIER extends ASSERTION_CATEGORY with Product with Serializable

object AC_ELIM_CONJUNCTS extends ASSERTION_CATEGORY with Product with Serializable

object AC_ELIM_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

object AC_ENVIRONMENT extends ASSERTION_CATEGORY with Product with Serializable

object AC_EQUATIONS extends ASSERTION_CATEGORY with Product with Serializable

object AC_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

object AC_GOAL extends ASSERTION_CATEGORY with Product with Serializable

object AC_INEQUALITIES extends ASSERTION_CATEGORY with Product with Serializable

object AC_INPUT_ABSY extends ASSERTION_CATEGORY with Product with Serializable

object AC_INTERPOLATION extends ASSERTION_CATEGORY with Product with Serializable

object AC_INTERPOLATION_IMPLICATION_CHECKS extends ASSERTION_CATEGORY with Product with Serializable

object AC_LINEAR_COMB extends ASSERTION_CATEGORY with Product with Serializable

object AC_MAIN extends ASSERTION_CATEGORY with Product with Serializable

object AC_MAP_UTILS extends ASSERTION_CATEGORY with Product with Serializable

object AC_MODEL_FINDER extends ASSERTION_CATEGORY with Product with Serializable

object AC_MODULO_ARITHMETIC extends ASSERTION_CATEGORY with Product with Serializable

object AC_NIA extends ASSERTION_CATEGORY with Product with Serializable

object AC_OMEGA extends ASSERTION_CATEGORY with Product with Serializable

object AC_PARAMETERS extends ASSERTION_CATEGORY with Product with Serializable

object AC_PARSER extends ASSERTION_CATEGORY with Product with Serializable

object AC_PLUGIN extends ASSERTION_CATEGORY with Product with Serializable

object AC_PO_GRAPH extends ASSERTION_CATEGORY with Product with Serializable

object AC_PREDICATES extends ASSERTION_CATEGORY with Product with Serializable

object AC_PRESBURGER_TOOLS extends ASSERTION_CATEGORY with Product with Serializable

object AC_PROOF_TREE extends ASSERTION_CATEGORY with Product with Serializable

object AC_PROPAGATION extends ASSERTION_CATEGORY with Product with Serializable

object AC_PROP_CONNECTIVES extends ASSERTION_CATEGORY with Product with Serializable

object AC_PROVER extends ASSERTION_CATEGORY with Product with Serializable

object AC_QUEUE_WITH_ITERATORS extends ASSERTION_CATEGORY with Product with Serializable

object AC_SEQUENCE extends ASSERTION_CATEGORY with Product with Serializable

object AC_SEQ_UTILS extends ASSERTION_CATEGORY with Product with Serializable

object AC_SET_UTILS extends ASSERTION_CATEGORY with Product with Serializable

object AC_SIGNATURE extends ASSERTION_CATEGORY with Product with Serializable

object AC_SIMPLE_API extends ASSERTION_CATEGORY with Product with Serializable

object AC_STRING extends ASSERTION_CATEGORY with Product with Serializable

object AC_SUBSTITUTIONS extends ASSERTION_CATEGORY with Product with Serializable

object AC_TERM_ORDER extends ASSERTION_CATEGORY with Product with Serializable

object AC_THEORY extends ASSERTION_CATEGORY with Product with Serializable

object AC_TYPES extends ASSERTION_CATEGORY with Product with Serializable

object AC_VALUE_ENUMERATOR extends ASSERTION_CATEGORY with Product with Serializable

object AC_VARIABLES extends ASSERTION_CATEGORY with Product with Serializable

object AC_VAR_TYPES extends ASSERTION_CATEGORY with Product with Serializable

object AT_METHOD_INTERNAL extends ASSERTION_TYPE with Product with Serializable

object AT_METHOD_POST extends ASSERTION_TYPE with Product with Serializable

object AT_METHOD_PRE extends ASSERTION_TYPE with Product with Serializable

object AT_OBJECT_CONSTRUCTION extends ASSERTION_TYPE with Product with Serializable

final def asInstanceOf[T0]: T0

def assertCtor(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

def assertCtor(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Assertions about the construction of an object of a class

def assertInt(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Method-internal assertions (invariants)

def assertInt(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Method-internal assertions (invariants)

def assertIntFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

def assertPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Postconditions of methods

def assertPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Postconditions of methods

def assertPostFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Postconditions of methods

def assertPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Preconditions of methods

def assertPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Preconditions of methods

def assertPreFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

Preconditions of methods

def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

def clone(): AnyRef

def enableAllAssertions(v: Boolean): Unit

val enabledAssertions: DynamicVariable[(ASSERTION_TYPE, ASSERTION_CATEGORY) ⇒ Boolean]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

def initRandomGen(seed: Int): Unit

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def random(lowerBound: Int, upperBound: Int): Int

def randoms(lowerBound: Int, upperBound: Int): Iterator[Int]

def signum(x: Int): Int

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 warnIfNot(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

def warnIfNotPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Postconditions of methods, output a warning in case of violations

def warnIfNotPostFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Postconditions of methods, output a warning in case of violations

def warnIfNotPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Preconditions of methods, output a warning in case of violations

def warnIfNotPreFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

Preconditions of methods, output a warning in case of violations

def whenAssertionsOn[A](ac: ASSERTION_CATEGORY)(comp: ⇒ A): Unit

def withDisabledAssertions[A](disabledAssertions: Set[ASSERTION_CATEGORY])(comp: ⇒ A): A

def withoutAssertions[A](comp: ⇒ A): A

def finalize(): Unit