|
carl
25.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... | |