PerformanceFixpointSolverTracer

A tracer which keeps track of performance measures.

class Object
trait Matchable
class Any

Value members

Concrete methods

@elidable(TRACING)
override def evaluated(rho: U => V, u: U, newval: V): Unit
def evaluations: Int

Number of evaluations of r.h.s. performed so far.

Number of evaluations of r.h.s. performed so far.

Inherited methods

@elidable(TRACING)
def ascendingBegins(rho: U => V): Unit
@elidable(TRACING)
def completed(rho: U => V): Unit
@elidable(TRACING)
def descendingBegins(rho: U => V): Unit
@elidable(TRACING)
def initialized(rho: U => V): Unit