carl
24.04
Computer ARithmetic Library
|
#include <carl-common/memory/Singleton.h>
#include <carl-common/meta/platform.h>
#include "logging_utils.h"
#include "config.h"
#include "Filter.h"
#include "Formatter.h"
#include "Sink.h"
#include <cassert>
#include <cstring>
#include <fstream>
#include <iostream>
#include <map>
#include <memory>
#include <mutex>
#include <sstream>
#include <utility>
Go to the source code of this file.
Data Structures | |
class | carl::logging::Logger |
Main logger class. More... | |
Namespaces | |
carl | |
carl is the main namespace for the library. | |
carl::logging | |
Contains a custom logging facility. | |
Functions | |
Logger & | carl::logging::logger () |
Returns the single global instance of a Logger. More... | |