Monitor
public void expireAndMeasureImprovements(Monitor mon)
Monitor mon = solver.getMonitor();
private Monitor monitor;
public boolean examine(Monitor mon) throws PoolsException,
public Monitor getMonitor();
class SystemMonitor implements Monitor
SystemSolver(Monitor monitor)
public boolean examine(Monitor mon) throws PoolsException,
public Monitor getMonitor()
private final Monitor monitor;
extern bool Monitor;
if (Monitor) \
if (Monitor) \
SM_ASSERT(!Monitor);
Monitor = true;
bool Monitor = false; /* use monitoring? */
SM_ASSERT(Monitor);