SettingsParser.h

Go to the documentation of this file.

#pragma once
 
#include <carl-common/memory/Singleton.h>
#include <carl-settings/SettingsParser.h>
 
namespace smtrat {
 
class SettingsParser: public carl::settings::SettingsParser, public carl::Singleton<SettingsParser> {
    friend carl::Singleton<SettingsParser>;
 
    SettingsParser();
};
 
} // smtrat