ICPSettings.h File Reference

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

#include <smtrat-common/smtrat-common.h>

Include dependency graph for ICPSettings.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::ICPSettings1
struct	smtrat::ICPSettings2
struct	smtrat::ICPSettings3
struct	smtrat::ICPSettings4

Namespaces
	smtrat
	Class to create the formulas for axioms.

Enumerations
enum class	smtrat::SplittingHeuristic : unsigned { smtrat::SIZE , smtrat::UNSATISFIABILITY , smtrat::SATISFIABILITY }

Detailed Description

Class to create a settings object for the ICPModule.

Author

Florian Corzilius

Since

2014-10-02

Version

2014-10-02

Definition in file ICPSettings.h.