FixpointSolverTracerAdapter
This abstract class implements a tracer for fixpoint solvers which does nothing. May be sub-classed in order to override only the methods we are interested in.
This abstract class implements a tracer for fixpoint solvers which does nothing. May be sub-classed in order to override only the methods we are interested in.