NewCADSettings.h File Reference

#include <smtrat-cad/Settings.h>

Include dependency graph for NewCADSettings.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::cad::IncrementalityMixin< I, B >
	Mixin that provides settings for incrementality and backtracking. More...
struct	smtrat::cad::ProjectionMixin< P >
	Mixin that provides settings for the projection operator. More...
struct	smtrat::cad::SampleCompareMixin< SCS, FSCS >
	Mixin that provides settings for the sample comparison. More...
struct	smtrat::cad::ProjectionOrderMixin< PCS >
	Mixin that provides settings for the projection order. More...
struct	smtrat::cad::MISHeuristicMixin< MIS >
	Mixin that provides settings for MIS generation. More...
struct	smtrat::NewCADBaseSettings
struct	smtrat::NewCADSettingsNaive
struct	smtrat::NewCADSettingsNO
struct	smtrat::NewCADSettingsNU
struct	smtrat::NewCADSettingsSO
struct	smtrat::NewCADSettingsSU
struct	smtrat::NewCADSettingsFU
struct	smtrat::NewCADBaseProjectionSettings
struct	smtrat::NewCADSettingsCollins
struct	smtrat::NewCADSettingsHong
struct	smtrat::NewCADSettingsMcCallum
struct	smtrat::NewCADSettingsMcCallumPartial
struct	smtrat::NewCADSettingsLazard
struct	smtrat::NewCADSettingsBrown
struct	smtrat::NewCADBasePPSettings
struct	smtrat::NewCADSettingsPP
struct	smtrat::NewCADSettingsPPVE
struct	smtrat::NewCADSettingsPPRR
struct	smtrat::NewCADSettingsPPVERR
struct	smtrat::NewCADBaseSettingsLO
struct	smtrat::NewCADSettings_LOType
struct	smtrat::NewCADSettings_LOT
struct	smtrat::NewCADSettings_LOTLSA
struct	smtrat::NewCADSettings_LOTSA
struct	smtrat::NewCADSettings_LOTS
struct	smtrat::NewCADSettings_LOLT
struct	smtrat::NewCADSettings_LOLTA
struct	smtrat::NewCADSettings_LOLTS
struct	smtrat::NewCADSettings_LOLTSA
struct	smtrat::NewCADSettings_LOLS
struct	smtrat::NewCADSettings_LOS
struct	smtrat::NewCADBaseSettingsPO
struct	smtrat::NewCADSettings_POD
struct	smtrat::NewCADSettings_POPD
struct	smtrat::NewCADSettings_POSD
struct	smtrat::NewCADSettings_POlD
struct	smtrat::NewCADSettings_POLD
struct	smtrat::NewCADSettingsF1
struct	smtrat::NewCADSettingsFO1
struct	smtrat::NewCADSettingsFOS
struct	smtrat::NewCADSettingsInterleave
struct	smtrat::NewCADSettingsEQ_B
struct	smtrat::NewCADSettingsEQ_BD
struct	smtrat::NewCADSettingsEQ_R
struct	smtrat::NewCADSettingsEQ_RD
struct	smtrat::NewCADSettingsEQ_RI
struct	smtrat::NewCADSettingsEQ_RID
struct	smtrat::NewCADSettingsEQ_S
struct	smtrat::NewCADSettingsEQ_SD
struct	smtrat::NewCADSettingsEQ_BR
struct	smtrat::NewCADSettingsEQ_BRD
struct	smtrat::NewCADSettingsEQ_BRI
struct	smtrat::NewCADSettingsEQ_BRID
struct	smtrat::NewCADSettingsEQ_BS
struct	smtrat::NewCADSettingsEQ_BSD
struct	smtrat::NewCADSettingsEQ_SI
struct	smtrat::NewCADSettingsEQ_SID
struct	smtrat::NewCADSettingsEQ_BSI
struct	smtrat::NewCADSettingsEQ_BSID
struct	smtrat::NewCADSettingsFV
struct	smtrat::NewCADSettingsFOV
struct	smtrat::NewCADSettingsMISBase
struct	smtrat::NewCADSettingsMISTrivial
struct	smtrat::NewCADSettingsMISGreedy
struct	smtrat::NewCADSettingsMISGreedyPre
struct	smtrat::NewCADSettingsMISGreedyWeighted
struct	smtrat::NewCADSettingsMISExact
struct	smtrat::NewCADSettingsMISHybrid
struct	smtrat::NewCADSettingsEnumerateAll

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

Typedefs
using	smtrat::cad::IncrementalityNO = IncrementalityMixin< Incrementality::NONE, Backtracking::ORDERED >
using	smtrat::cad::IncrementalityNU = IncrementalityMixin< Incrementality::NONE, Backtracking::UNORDERED >
using	smtrat::cad::IncrementalitySO = IncrementalityMixin< Incrementality::SIMPLE, Backtracking::ORDERED >
using	smtrat::cad::IncrementalitySU = IncrementalityMixin< Incrementality::SIMPLE, Backtracking::UNORDERED >
using	smtrat::cad::IncrementalityF = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED >
using	smtrat::cad::IncrementalityFO = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED >
using	smtrat::cad::IncrementalityEQ = IncrementalityMixin< Incrementality::FULL, Backtracking::HIDE >
using	smtrat::cad::IncrementalityFU = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED >
using	smtrat::cad::ProjectionCollins = ProjectionMixin< ProjectionType::Collins >
using	smtrat::cad::ProjectionHong = ProjectionMixin< ProjectionType::Hong >
using	smtrat::cad::ProjectionMcCallum = ProjectionMixin< ProjectionType::McCallum >
using	smtrat::cad::ProjectionMcCallum_partial = ProjectionMixin< ProjectionType::McCallum_partial >
using	smtrat::cad::ProjectionLazard = ProjectionMixin< ProjectionType::Lazard >
using	smtrat::cad::ProjectionBrown = ProjectionMixin< ProjectionType::Brown >
using	smtrat::cad::SampleCompareValue = SampleCompareMixin< SampleCompareStrategy::Value, FullSampleCompareStrategy::Value >
using	smtrat::cad::SampleCompareType = SampleCompareMixin< SampleCompareStrategy::Type, FullSampleCompareStrategy::Type >
using	smtrat::cad::SampleCompareT = SampleCompareMixin< SampleCompareStrategy::T, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareTLSA = SampleCompareMixin< SampleCompareStrategy::TLSA, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareTSA = SampleCompareMixin< SampleCompareStrategy::TSA, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareTS = SampleCompareMixin< SampleCompareStrategy::TS, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareLT = SampleCompareMixin< SampleCompareStrategy::LT, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareLTA = SampleCompareMixin< SampleCompareStrategy::LTA, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareLTS = SampleCompareMixin< SampleCompareStrategy::LTS, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareLTSA = SampleCompareMixin< SampleCompareStrategy::LTSA, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareLS = SampleCompareMixin< SampleCompareStrategy::LS, FullSampleCompareStrategy::T >
using	smtrat::cad::SampleCompareS = SampleCompareMixin< SampleCompareStrategy::S, FullSampleCompareStrategy::T >
using	smtrat::cad::ProjectionOrderDefault = ProjectionOrderMixin< ProjectionCompareStrategy::Default >
using	smtrat::cad::ProjectionOrderD = ProjectionOrderMixin< ProjectionCompareStrategy::D >
using	smtrat::cad::ProjectionOrderPD = ProjectionOrderMixin< ProjectionCompareStrategy::PD >
using	smtrat::cad::ProjectionOrderSD = ProjectionOrderMixin< ProjectionCompareStrategy::SD >
using	smtrat::cad::ProjectionOrderlD = ProjectionOrderMixin< ProjectionCompareStrategy::lD >
using	smtrat::cad::ProjectionOrderLD = ProjectionOrderMixin< ProjectionCompareStrategy::LD >
using	smtrat::cad::MISHeuristicTrivial = MISHeuristicMixin< MISHeuristic::TRIVIAL >
using	smtrat::cad::MISHeuristicGreedy = MISHeuristicMixin< MISHeuristic::GREEDY >

Detailed Description

Author

YOUR NAME <YOUR EMAIL ADDRESS>

Version

2016-02-23 Created on 2016-02-23.

Definition in file NewCADSettings.h.