LOG.h

Go to the documentation of this file.

 
#pragma once
 
namespace smtrat {
    class LOG : public carl::Singleton<LOG>{
        friend class carl::Singleton<LOG>;
 
    public:
        bool debugEnabled = false;
        bool isDebugEnabled() {
            return  debugEnabled;
        }
    };
}