FixpointSolverTracer

Collection of factory methods for fixpoint solver tracers.

Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def debug[U, V]: FixpointSolverTracer[U, V]

Returns a tracer which prints many information to standard output.

Returns a tracer which prints many information to standard output.

def debug[U, V](ps: PrintStream): FixpointSolverTracer[U, V]

Returns a tracer which prints debug debugging information to a PrintStream.

Returns a tracer which prints debug debugging information to a PrintStream.

def empty[U, V]: FixpointSolverTracer[U, V]

Returns a tracer which does nothing.

Returns a tracer which does nothing.

def performance[U, V]: PerformanceFixpointSolverTracer[Nothing, Nothing]

Returns a tracer which keeps track of performance measures.

Returns a tracer which keeps track of performance measures.