Logger.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <atomic>
#include <memory>
#include <vector>
 
// Color definitions for console output
#define BLUE "\033[34m"
#define BOLD "\033[1m"
#define CYAN "\033[36m"
#define GREEN "\033[32m"
#define MAGENTA "\033[35m"
#define RED "\033[31m"
#define RESET "\033[0m"
#define WHITE "\033[37m"
#define YELLOW "\033[33m"
#define FUNC_STYLE "\033[2m"
#define ERROR_STYLE "\033[1m"
 
// Function name macro (compiler-specific)
#if defined(__GNUC__)
#ifdef __cplusplus
#define FUNCTION_NAME ((__PRETTY_FUNCTION__) ? __PRETTY_FUNCTION__ : "UnknownFunction")
#else
#define FUNCTION_NAME ((__FUNCTION__) ? __FUNCTION__ : "UnknownFunction")
#endif
#else
#define FUNCTION_NAME "UnknownFunction"
#endif
 
void
setVerbosityLevel(int level);
 
void
log(int verbosityLevel, const char* color, const char* fmt...);
 
void
logDebug(int verbosityLevel, const char* color, const char* issuer, const char* fmt...);
 
void
logClause(int verbosityLevel, const char* color, const int* lits, unsigned int size, const char* fmt...);
 
void
logSolution(const char* string);
 
void
lockLogger();
 
void
unlockLogger();
 
void
logModel(const std::vector<int>& model);
 
extern std::atomic<bool> quiet;
 
// Logging macros for different verbosity levels and purposes
 
#define LOG(level, ...)                                                                                                \
    do {                                                                                                               \
        log(level, RESET, __VA_ARGS__);                                                                                \
    } while (0)
 
#define LOGERROR(...)                                                                                                  \
    do {                                                                                                               \
        logDebug(0, RED, FUNCTION_NAME, __VA_ARGS__);                                                                  \
    } while (0)
 
#define PABORT(EXIT_CODE, ...)                                                                                         \
    do {                                                                                                               \
        logDebug(0, RED, FUNCTION_NAME, __VA_ARGS__);                                                                  \
        exit(EXIT_CODE);                                                                                               \
    } while (0)
 
#define LOGWARN(...)                                                                                                   \
    do {                                                                                                               \
        logDebug(0, YELLOW, FUNCTION_NAME, __VA_ARGS__);                                                               \
    } while (0)
 
#define LOGSTAT(...)                                                                                                   \
    do {                                                                                                               \
        log(0, GREEN, __VA_ARGS__);                                                                                    \
    } while (0)
 
#ifndef PQUIET
#define LOG0(...)                                                                                                      \
    do {                                                                                                               \
        log(0, RESET, __VA_ARGS__);                                                                                    \
    } while (0)
 
#define LOG1(...)                                                                                                      \
    do {                                                                                                               \
        log(1, RESET, __VA_ARGS__);                                                                                    \
    } while (0)
 
#define LOG2(...)                                                                                                      \
    do {                                                                                                               \
        log(2, RESET, __VA_ARGS__);                                                                                    \
    } while (0)
 
#define LOG3(...)                                                                                                      \
    do {                                                                                                               \
        log(3, RESET, __VA_ARGS__);                                                                                    \
    } while (0)
 
#define LOG4(...)                                                                                                      \
    do {                                                                                                               \
        log(4, RESET, __VA_ARGS__);                                                                                    \
    } while (0)
 
#define LOGVECTOR(lits, size, ...)                                                                                     \
    do {                                                                                                               \
        logClause(1, CYAN, lits, size, __VA_ARGS__);                                                                   \
    } while (0)
 
#else
// Define empty macros when PQUIET is defined
#define LOG0(...)
#define LOG1(...)
#define LOG2(...)
#define LOG3(...)
#define LOG4(...)
#define LOGVECTOR(...)
#endif
 
#ifndef NDEBUG
#define LOGDEBUG1(...)                                                                                                 \
    do {                                                                                                               \
        logDebug(1, BLUE, FUNCTION_NAME, __VA_ARGS__);                                                                 \
    } while (0)
 
#define LOGDEBUG2(...)                                                                                                 \
    do {                                                                                                               \
        logDebug(2, MAGENTA, FUNCTION_NAME, __VA_ARGS__);                                                              \
    } while (0)
 
#define LOGDEBUG3(...)                                                                                                 \
    do {                                                                                                               \
        logDebug(4, MAGENTA, FUNCTION_NAME, __VA_ARGS__);                                                              \
    } while (0)
 
#define LOGCLAUSE1(lits, size, ...)                                                                                    \
    do {                                                                                                               \
        logClause(2, CYAN, lits, size, __VA_ARGS__);                                                                   \
    } while (0)
 
#define LOGCLAUSE2(lits, size, ...)                                                                                    \
    do {                                                                                                               \
        logClause(5, CYAN, lits, size, __VA_ARGS__);                                                                   \
    } while (0)
 
#else
// Define empty macros when NDEBUG is defined
#define LOGDEBUG1(...)
#define LOGDEBUG2(...)
#define LOGDEBUG3(...)
#define LOGCLAUSE1(...)
#define LOGCLAUSE2(...)
#endif