operations_research::sat::PresolveTimer Member List

This is the complete list of members for operations_research::sat::PresolveTimer, including all inherited members.

AddCounter(std::string name, int64_t count)	operations_research::sat::PresolveTimer	inline
AddMessage(std::string name)	operations_research::sat::PresolveTimer	inline
AddToWork(double dtime)	operations_research::sat::PresolveTimer	inline
PresolveTimer(std::string name, SolverLogger *logger, TimeLimit *time_limit)	operations_research::sat::PresolveTimer	inline
TrackSimpleLoop(int size)	operations_research::sat::PresolveTimer	inline
WorkLimitIsReached() const	operations_research::sat::PresolveTimer	inline
~PresolveTimer()	operations_research::sat::PresolveTimer