NRAILSettings.h File Reference

#include "factory/AxiomFactory.h"

Include dependency graph for NRAILSettings.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::NRAILSettings1
struct	smtrat::NRAILSettings2
struct	smtrat::NRAILSettings3
struct	smtrat::NRAILSettings4
struct	smtrat::NRAILSettings5
struct	smtrat::NRAILSettings6
struct	smtrat::NRAILSettings7
struct	smtrat::NRAILSettings8
struct	smtrat::NRAILSettings9
struct	smtrat::NRAILSettings10
struct	smtrat::NRAILSettings11
struct	smtrat::NRAILSettings12
struct	smtrat::NRAILSettings13
struct	smtrat::NRAILSettings14
struct	smtrat::NRAILSettings15
struct	smtrat::NRAILSettings16
struct	smtrat::NRAILSettings17
struct	smtrat::NRAILSettings18
struct	smtrat::NRAILSettings19
struct	smtrat::NRAILSettings20
struct	smtrat::NRAILSettings21
struct	smtrat::NRAILSettings22
struct	smtrat::NRAILSettings23
struct	smtrat::NRAILSettings24
struct	smtrat::NRAILSettings25

Namespaces
	smtrat
	Class to create the formulas for axioms.

Enumerations
enum class	smtrat::UNSATFormulaSelectionStrategy { smtrat::ALL = 0 , smtrat::FIRST = 1 , smtrat::RANDOM = 2 }