SplitSOSSettings.h

Go to the documentation of this file.

/**
 * @file SplitSOSSettings.h
 * @author YOUR NAME <YOUR EMAIL ADDRESS>
 *
 * @version 2015-09-10
 * Created on 2015-09-10.
 */
 
#pragma once
 
namespace smtrat
{
    struct SplitSOSSettings1
    {
        static constexpr auto moduleName = "SplitSOSModule<SplitSOSSettings1>";
        /**
         * Example for a setting.
         */
        static const bool example_setting = true;
    };
}