object FixpointSolverTracer
Collection of factory methods for fixpoint solver tracers.
- Companion:
- class
Value members
Concrete methods
Returns a tracer which prints many information to standard output.
Returns a tracer which prints many information to standard output.
Returns a tracer which prints debug debugging information to a PrintStream.
Returns a tracer which prints debug debugging information to a PrintStream.