EmptyLogManager Class Reference

Inheritance diagram for EmptyLogManager:

Public Member Functions
EmptyLogManager &	operator= (const EmptyLogManager &other)
Public Member Functions inherited from SolverLogManager
	SolverLogManager (const SolverLogManager &other)
	SolverLogManager (const std::filesystem::path &log_file)
SolverLogManager &	operator= (const SolverLogManager &other)
void	init ()

Additional Inherited Members
Public Attributes inherited from SolverLogManager
FILE *	log_file_ptr = nullptr
std::filesystem::path	log_file_path = ""

---

The documentation for this class was generated from the following file:

• tests/cpp/tests_utils/EmptyLogManager.h