OpCounters

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Backtrackings1 extends Counter with Product with Serializable

Number of backtrackings in the ModelSearchProver.

object Backtrackings2 extends Counter with Product with Serializable

Number of backtrackings in the ExhaustiveProver.

object Backtrackings3 extends Counter with Product with Serializable

Number of backtrackings in the QuantifierElimProver.

object Milliseconds extends Counter with Product with Serializable

Milliseconds since the last reset.

object Reductions extends Counter with Product with Serializable

Number of reduction operations in ReduceWithConjunction.

object Splits1 extends Counter with Product with Serializable

Number of times a splitting rule was applied in ModelSearchProver.

object Splits2 extends Counter with Product with Serializable

Number of times a splitting rule was applied in ExhaustiveProver.

object Splits3 extends Counter with Product with Serializable

Number of times a splitting rule was applied in QuantifierElimProver.

object TaskApplications extends Counter with Product with Serializable

Total number of task applications.

def apply(c: Counter): Long

Retrieve the current value of the given counter.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def disable: Unit

Stop counting.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

def inc(c: Counter): Unit

Increment the given counter by one.

def init: Unit

Start counting, reset all counters to zero.

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def printCounters: Unit

Pretty-print the current counter values.

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 withLocalCounters[A](comp: ⇒ A): A

Run the given code with a local set of counters, and afterwards restore the old counter values.

def finalize(): Unit