MCSATSettings.h File Reference

#include <smtrat-mcsat/assignments/arithmetic/AssignmentFinder.h>
#include <smtrat-mcsat/assignments/smtaf/AssignmentFinder.h>
#include <smtrat-mcsat/assignments/SequentialAssignment.h>
#include <smtrat-mcsat/explanations/ParallelExplanation.h>
#include <smtrat-mcsat/explanations/SequentialExplanation.h>
#include <smtrat-mcsat/explanations/icp/Explanation.h>
#include <smtrat-mcsat/explanations/nlsat/Explanation.h>
#include <smtrat-mcsat/explanations/onecellcad/recursive/Explanation.h>
#include <smtrat-mcsat/explanations/onecellcad/levelwise/Explanation.h>
#include <smtrat-mcsat/explanations/vs/Explanation.h>
#include <smtrat-mcsat/explanations/fm/Explanation.h>
#include <smtrat-mcsat/variableordering/VariableOrdering.h>
#include <smtrat-mcsat/explanations/onecell/Explanation.h>

Include dependency graph for MCSATSettings.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::mcsat::Base
struct	smtrat::mcsat::MCSATSettingsDefault
struct	smtrat::mcsat::MCSATSettingsNL
struct	smtrat::mcsat::MCSATSettingsFMICPVSNL
struct	smtrat::mcsat::MCSATSettingsOC
struct	smtrat::mcsat::MCSATSettingsOCNN
struct	smtrat::mcsat::MCSATSettingsOCNNASC
struct	smtrat::mcsat::MCSATSettingsOCNNDSC
struct	smtrat::mcsat::MCSATSettingsOCLWH11
struct	smtrat::mcsat::MCSATSettingsOCLWH12
struct	smtrat::mcsat::MCSATSettingsOCLWH13
struct	smtrat::mcsat::MCSATSettingsOCLWH21
struct	smtrat::mcsat::MCSATSettingsOCLWH22
struct	smtrat::mcsat::MCSATSettingsOCLWH23
struct	smtrat::mcsat::MCSATSettingsOCLWH31
struct	smtrat::mcsat::MCSATSettingsOCLWH32
struct	smtrat::mcsat::MCSATSettingsOCLWH33
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCLWH11
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCLWH12
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCLWH13
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCNNASC
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCNNDSC
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCPARALLEL
struct	smtrat::mcsat::MCSATSettingsOCPARALLEL
struct	smtrat::mcsat::MCSATSettingsOCNew
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCNew
struct	smtrat::mcsat::MCSATSettingsVSOCNew
struct	smtrat::mcsat::MCSATSettingsFMOCNew
struct	smtrat::mcsat::MCSATSettingsFMICPVSOCNewOC
struct	smtrat::mcsat::MCSATSettingsFMVSOC
struct	smtrat::mcsat::MCSATSettingsFMICPVSOC
struct	smtrat::mcsat::MCSATSettingsFMICPOC
struct	smtrat::mcsat::MCSATSettingsFMNL
struct	smtrat::mcsat::MCSATSettingsVSNL
struct	smtrat::mcsat::MCSATSettingsFMVSNL
struct	smtrat::mcsat::MCSATSettingsICPNL
struct	smtrat::mcsat::MCSAT_AF_NL
struct	smtrat::mcsat::MCSAT_AF_OCNL
struct	smtrat::mcsat::MCSAT_AF_FMOCNL
struct	smtrat::mcsat::MCSAT_AF_FMICPOCNL
struct	smtrat::mcsat::MCSAT_AF_FMICPVSOCNL
struct	smtrat::mcsat::MCSAT_AF_FMVSOCNL
struct	smtrat::mcsat::MCSAT_SMT_FMOCNL

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat