SATSettings.h File Reference

Class to create a settings object for the SATModule. More...

#include "mcsat/MCSATSettings.h"
#include "VarSchedulerForwardDeclarations.h"

Include dependency graph for SATSettings.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::SATSettings1
struct	smtrat::SATSettings3
struct	smtrat::SATSettingsStopAfterUnknown
struct	smtrat::SATSettingsMCSAT
struct	smtrat::SATSettingsMCSATDefault
struct	smtrat::SATSettingsMCSATOC
struct	smtrat::SATSettingsMCSATFMICPVSOC
struct	smtrat::SATSettingsMCSATFMICPOC
struct	smtrat::SATSettingsMCSATOCNew
struct	smtrat::SATSettingsMCSATFMICPVSOCNew
struct	smtrat::SATSettingsMCSATFMICPVSOCNewOC
struct	smtrat::SATSettingsMCSATFMICPVSOCLWH12
struct	smtrat::SATSettingsMCSATNL
struct	smtrat::SATSettingsMCSATFMICPVSNL
struct	smtrat::SATSettingsMCSATVSOCNew
struct	smtrat::SATSettingsMCSATFMOCNew

Namespaces
	smtrat
	Class to create the formulas for axioms.

Enumerations
enum class	smtrat::CCES : unsigned { smtrat::SECOND_LEVEL_MINIMIZER , smtrat::LITERALS_BLOCKS_DISTANCE , smtrat::SECOND_LEVEL_MINIMIZER_PLUS_LBD }
enum class	smtrat::VARIABLE_ACTIVITY_STRATEGY : unsigned { smtrat::NONE , smtrat::MIN_COMPLEXITY_MAX_OCCURRENCES }
enum class	smtrat::MCSAT_BOOLEAN_DOMAIN_PROPAGATION : unsigned { smtrat::NONE , smtrat::PARTIAL_CONFLICT , smtrat::PARTIAL , smtrat::FULL }

Detailed Description

Class to create a settings object for the SATModule.

Author

Florian Corzilius

Since

2014-10-02

Version

2014-10-02

Definition in file SATSettings.h.