ScalaFix/it.unich.scalafix/PerformanceFixpointSolverTracer

PerformanceFixpointSolverTracer

class PerformanceFixpointSolverTracer[U, V] extends FixpointSolverTracerAdapter[U, V]

A tracer which keeps track of performance measures.

Source:
FixpointSolverTracer.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

override def evaluated(rho: U => V, u: U, newval: V): Unit

Increments the number of performed evaluations returned by the evaluations method.

Increments the number of performed evaluations returned by the evaluations method.

Definition Classes
Source:
FixpointSolverTracer.scala
def evaluations: Int

Number of evaluations of body performed so far.

Number of evaluations of body performed so far.

Source:
FixpointSolverTracer.scala

Inherited methods

override def ascendingBegins(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Inherited from:
FixpointSolverTracerAdapter
Source:
FixpointSolverTracer.scala
override def completed(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Inherited from:
FixpointSolverTracerAdapter
Source:
FixpointSolverTracer.scala
override def descendingBegins(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Inherited from:
FixpointSolverTracerAdapter
Source:
FixpointSolverTracer.scala
override def initialized(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Inherited from:
FixpointSolverTracerAdapter
Source:
FixpointSolverTracer.scala