notimer.h File Reference

NoTimer class. More...

#include "spxdefines.h"
#include "timer.h"

Go to the source code of this file.

Classes
class	NoTimer

Namespaces
	soplex
	Everything should be within this namespace.

Detailed Description

NoTimer class.

Definition in file notimer.h.