|
| class | CAD |
| |
| class | LiftingTree |
| |
| class | Sample |
| |
| struct | FullSampleComparator |
| |
| struct | FullSampleComparator< Iterator, FullSampleCompareStrategy::Value > |
| |
| struct | FullSampleComparator< Iterator, FullSampleCompareStrategy::Type > |
| |
| struct | FullSampleComparator< Iterator, FullSampleCompareStrategy::T > |
| |
| class | SampleIteratorQueue |
| |
| class | BaseProjection |
| |
| struct | PolynomialComparator |
| |
| class | PolynomialLiftingQueue |
| |
| class | Projection |
| |
| class | ModelBasedProjection |
| |
| class | Projection< Incrementality::FULL, Backtracking::HIDE, Settings > |
| |
| class | Projection< Incrementality::FULL, BT, Settings > |
| |
| class | ModelBasedProjection< Incrementality::NONE, Backtracking::ORDERED, Settings > |
| | This class implements a projection that supports no incrementality and expects backtracking to be in order. More...
|
| |
| class | Projection< Incrementality::NONE, Backtracking::ORDERED, Settings > |
| | This class implements a projection that supports no incrementality and expects backtracking to be in order. More...
|
| |
| class | Projection< Incrementality::NONE, Backtracking::UNORDERED, Settings > |
| | This class implements a projection that supports no incrementality and allows backtracking to be out of order. More...
|
| |
| class | Projection< Incrementality::SIMPLE, BT, Settings > |
| |
| class | ProjectionGlobalInformation |
| |
| class | ProjectionLevelInformation |
| |
| class | ProjectionPolynomialInformation |
| |
| class | ProjectionInformation |
| |
| struct | ProjectionOperator |
| |
| struct | BaseSettings |
| |
| class | CADConstraints |
| |
| struct | CADCore |
| |
| struct | CADCore< CoreHeuristic::BySample > |
| |
| struct | CADCore< CoreHeuristic::PreferProjection > |
| |
| struct | CADCore< CoreHeuristic::PreferSampling > |
| |
| struct | CADCore< CoreHeuristic::Interleave > |
| |
| struct | CADCore< CoreHeuristic::EnumerateAll > |
| |
| struct | CADPreprocessorSettings |
| |
| class | CADPreprocessor |
| |
| class | ConflictGraph |
| | Representation of a bipartite graph (C+S, E) of vertices C and S, representing the constraints and samples, respectively. More...
|
| |
| class | MISGeneration |
| |
| class | Origin |
| | This class represents one or more origins of some object. More...
|
| |
| struct | PreprocessorSettings |
| |
| class | Preprocessor |
| |
| struct | IncrementalityMixin |
| | Mixin that provides settings for incrementality and backtracking. More...
|
| |
| struct | ProjectionMixin |
| | Mixin that provides settings for the projection operator. More...
|
| |
| struct | SampleCompareMixin |
| | Mixin that provides settings for the sample comparison. More...
|
| |
| struct | ProjectionOrderMixin |
| | Mixin that provides settings for the projection order. More...
|
| |
| struct | MISHeuristicMixin |
| | Mixin that provides settings for MIS generation. More...
|
| |
|
| using | RAN = smtrat::RAN |
| |
| using | ConstraintSelection = carl::Bitset |
| |
| using | OptionalID = std::optional< std::size_t > |
| |
| using | Assignment = std::map< carl::Variable, RAN > |
| |
| using | SampleLiftedWith = carl::Bitset |
| |
| using | SampleRootOf = carl::Bitset |
| |
| using | UPoly = carl::UnivariatePolynomial< Poly > |
| |
| template<typename Settings > |
| using | ProjectionT = Projection< Settings::incrementality, Settings::backtracking, Settings > |
| |
| template<typename Settings > |
| using | ModelBasedProjectionT = ModelBasedProjection< Settings::incrementality, Settings::backtracking, Settings > |
| |
| using | IncrementalityNO = IncrementalityMixin< Incrementality::NONE, Backtracking::ORDERED > |
| |
| using | IncrementalityNU = IncrementalityMixin< Incrementality::NONE, Backtracking::UNORDERED > |
| |
| using | IncrementalitySO = IncrementalityMixin< Incrementality::SIMPLE, Backtracking::ORDERED > |
| |
| using | IncrementalitySU = IncrementalityMixin< Incrementality::SIMPLE, Backtracking::UNORDERED > |
| |
| using | IncrementalityF = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED > |
| |
| using | IncrementalityFO = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED > |
| |
| using | IncrementalityEQ = IncrementalityMixin< Incrementality::FULL, Backtracking::HIDE > |
| |
| using | IncrementalityFU = IncrementalityMixin< Incrementality::FULL, Backtracking::UNORDERED > |
| |
| using | ProjectionCollins = ProjectionMixin< ProjectionType::Collins > |
| |
| using | ProjectionHong = ProjectionMixin< ProjectionType::Hong > |
| |
| using | ProjectionMcCallum = ProjectionMixin< ProjectionType::McCallum > |
| |
| using | ProjectionMcCallum_partial = ProjectionMixin< ProjectionType::McCallum_partial > |
| |
| using | ProjectionLazard = ProjectionMixin< ProjectionType::Lazard > |
| |
| using | ProjectionBrown = ProjectionMixin< ProjectionType::Brown > |
| |
| using | SampleCompareValue = SampleCompareMixin< SampleCompareStrategy::Value, FullSampleCompareStrategy::Value > |
| |
| using | SampleCompareType = SampleCompareMixin< SampleCompareStrategy::Type, FullSampleCompareStrategy::Type > |
| |
| using | SampleCompareT = SampleCompareMixin< SampleCompareStrategy::T, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareTLSA = SampleCompareMixin< SampleCompareStrategy::TLSA, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareTSA = SampleCompareMixin< SampleCompareStrategy::TSA, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareTS = SampleCompareMixin< SampleCompareStrategy::TS, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareLT = SampleCompareMixin< SampleCompareStrategy::LT, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareLTA = SampleCompareMixin< SampleCompareStrategy::LTA, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareLTS = SampleCompareMixin< SampleCompareStrategy::LTS, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareLTSA = SampleCompareMixin< SampleCompareStrategy::LTSA, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareLS = SampleCompareMixin< SampleCompareStrategy::LS, FullSampleCompareStrategy::T > |
| |
| using | SampleCompareS = SampleCompareMixin< SampleCompareStrategy::S, FullSampleCompareStrategy::T > |
| |
| using | ProjectionOrderDefault = ProjectionOrderMixin< ProjectionCompareStrategy::Default > |
| |
| using | ProjectionOrderD = ProjectionOrderMixin< ProjectionCompareStrategy::D > |
| |
| using | ProjectionOrderPD = ProjectionOrderMixin< ProjectionCompareStrategy::PD > |
| |
| using | ProjectionOrderSD = ProjectionOrderMixin< ProjectionCompareStrategy::SD > |
| |
| using | ProjectionOrderlD = ProjectionOrderMixin< ProjectionCompareStrategy::lD > |
| |
| using | ProjectionOrderLD = ProjectionOrderMixin< ProjectionCompareStrategy::LD > |
| |
| using | MISHeuristicTrivial = MISHeuristicMixin< MISHeuristic::TRIVIAL > |
| |
| using | MISHeuristicGreedy = MISHeuristicMixin< MISHeuristic::GREEDY > |
| |
|
| enum class | Incrementality { NONE
, SIMPLE
, FULL
} |
| |
| enum class | Backtracking { ORDERED
, UNORDERED
, HIDE
} |
| |
| enum class | ProjectionType {
Collins
, Hong
, McCallum
, McCallum_partial
,
Lazard
, Brown
} |
| |
| enum class | ProjectionCompareStrategy {
D
, PD
, SD
, lD
,
LD
, Default = lD
} |
| |
| enum class | SampleCompareStrategy {
T
, TLSA
, TSA
, TS
,
LT
, LTA
, LTS
, LTSA
,
LS
, S
, Type
, Value
,
Default = LT
} |
| |
| enum class | FullSampleCompareStrategy { Type
, Value
, T
, Default = T
} |
| |
| enum class | MISHeuristic {
TRIVIAL
, GREEDY
, GREEDY_PRE
, GREEDY_WEIGHTED
,
EXACT
, HYBRID
} |
| |
| enum class | CoreHeuristic {
BySample
, PreferProjection
, PreferSampling
, EnumerateAll
,
Interleave
} |
| |
|
| template<typename I , typename C > |
| std::ostream & | operator<< (std::ostream &os, const SampleIteratorQueue< I, C > &siq) |
| |
| template<typename PG > |
| std::ostream & | operator<< (std::ostream &os, const PolynomialLiftingQueue< PG > &plq) |
| |
| template<typename S > |
| std::ostream & | operator<< (std::ostream &os, const Projection< Incrementality::FULL, Backtracking::HIDE, S > &p) |
| |
| std::ostream & | operator<< (std::ostream &os, const full::Polynomial &p) |
| |
| template<typename S , Backtracking B> |
| std::ostream & | operator<< (std::ostream &os, const Projection< Incrementality::FULL, B, S > &p) |
| |
| template<typename S > |
| std::ostream & | operator<< (std::ostream &os, const ModelBasedProjection< Incrementality::NONE, Backtracking::ORDERED, S > &p) |
| |
| template<typename S > |
| std::ostream & | operator<< (std::ostream &os, const Projection< Incrementality::NONE, Backtracking::ORDERED, S > &p) |
| |
| template<typename S > |
| std::ostream & | operator<< (std::ostream &os, const Projection< Incrementality::NONE, Backtracking::UNORDERED, S > &p) |
| |
| template<typename S , Backtracking B> |
| std::ostream & | operator<< (std::ostream &os, const Projection< Incrementality::SIMPLE, B, S > &p) |
| |
| template<typename Poly > |
| projection_compare::Candidate< Poly > | candidate (const Poly &p, const Poly &q, std::size_t level) |
| |
| std::ostream & | operator<< (std::ostream &os, const ProjectionGlobalInformation &gi) |
| |
| std::ostream & | operator<< (std::ostream &os, const ProjectionLevelInformation::LevelInfo &li) |
| |
| std::ostream & | operator<< (std::ostream &os, const ProjectionPolynomialInformation::PolyInfo &pi) |
| |
| template<Backtracking BT> |
| std::ostream & | operator<< (std::ostream &os, const CADConstraints< BT > &cc) |
| |
| const auto & | settings_cadpp () |
| |
| std::ostream & | operator<< (std::ostream &os, const CADPreprocessor &cadpp) |
| |
| std::ostream & | operator<< (std::ostream &os, const ConflictGraph &cg) |
| |
| std::ostream & | operator<< (std::ostream &os, const Preprocessor &cadpp) |
| |
1.9.1 
