Here is a list of all struct and union fields with links to the structures/unions they belong to:

- o -

• objective() : smtrat::Module
• objectives() : smtrat::Optimization< Solver >
• objectiveValues() : smtrat::execution::ExecutionState
• objectiveVariable() : smtrat::Manager , smtrat::Optimization< Solver >
• OccLists() : Minisat::OccLists< Idx, Vec, Deleted >
• occs : Minisat::OccLists< Idx, Vec, Deleted >
• occursInEquation() : smtrat::vs::State
• OFF : smtrat::covering_ng::formula::GraphEvaluation
• offset() : smtrat::BVAnnotation
• ok : smtrat::SATModule< Settings >
• okay() : smtrat::SATModule< Settings >
• omit_division : smtrat::lra::TableauSettings1 , smtrat::lra::TableauSettings2
• one_conflict_reason : smtrat::LRASettings1 , smtrat::LRASettings2 , smtrat::LRASettingsICP
• OneCellCAD() : smtrat::mcsat::onecellcad::levelwise::LevelwiseCAD , smtrat::mcsat::onecellcad::OneCellCAD , smtrat::mcsat::onecellcad::recursive::RecursiveCAD
• only_if_no_intersections : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::cadcells::operators::rules::DelineateSettings , smtrat::internal::OpSettings
• only_if_total_degree_below : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::cadcells::operators::rules::DelineateSettings , smtrat::internal::OpSettings
• only_irreducible_resultants : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::cadcells::operators::rules::DelineateSettings , smtrat::internal::OpSettings
• only_rational_samples : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::cadcells::operators::rules::DelineateSettings , smtrat::internal::OpSettings
• only_split_in_final_call : smtrat::VSSettings1
• OnlyCAD() : smtrat::OnlyCAD
• OnlyGB() : smtrat::OnlyGB
• OnlySAT() : smtrat::OnlySAT
• OnlySATPP() : smtrat::OnlySATPP
• onlyUpdate : smtrat::lra::Tableau< Settings, T1, T2 >
• OnlyVS() : smtrat::OnlyVS
• op : smtrat::Backend< Settings > , smtrat::CoveringNGSettingsDefault , smtrat::internal::CoveringNGSettings , smtrat::internal::NewCoveringSettings , smtrat::internal::OCSettings , smtrat::LevelWiseInformation< Settings > , smtrat::mcsat::onecell::DefaultSettings , smtrat::NewCoveringSettings1 , smtrat::qe::coverings::DefaultSettings
• operator bool() : Minisat::BoolOption
• operator const char *() : Minisat::StringOption
• operator const Lit *() : Minisat::Clause
• operator double() : Minisat::DoubleOption
• operator FormulaT() : smtrat::ModuleInput
• operator int32_t() : Minisat::IntOption
• operator std::size_t() : std::hash_combiner
• operator std::string() : smtrat::parser::Identifier
• operator T*() : Minisat::vec< T >
• operator!=() : benchmax::RandomizationAdaptor< T >::iterator , Minisat::lbool , Minisat::Lit , Minisat::Watcher , smtrat::cadcells::datastructures::Bound , smtrat::expression::Expression , smtrat::fmplex::Matrix::col_iterator , smtrat::fmplex::Matrix::row_iterator , smtrat::lra::Numeric , smtrat::lra::Tableau< Settings, T1, T2 >::Iterator , smtrat::lra::Value< T > , smtrat::lra::Variable< T1, T2 > , smtrat::qe::util::Matrix::col_iterator , smtrat::qe::util::Matrix::row_iterator
• operator&&() : Minisat::lbool
• operator()() : Minisat::CMap< T >::CRefHash , Minisat::DeepEqual< K > , Minisat::DeepHash< K > , Minisat::Equal< K > , Minisat::Hash< K > , Minisat::LessThan_default< T > , Minisat::Option::OptionLt , smtrat::analyzer::DegreeCollector , smtrat::AnnotatedBVTerm , smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare , smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::SecondCompare , smtrat::cad::CADConstraints< BT >::ConstraintComparator , smtrat::cad::CADCore< CoreHeuristic::BySample > , smtrat::cad::CADCore< CoreHeuristic::EnumerateAll > , smtrat::cad::CADCore< CoreHeuristic::Interleave > , smtrat::cad::CADCore< CoreHeuristic::PreferProjection > , smtrat::cad::CADCore< CoreHeuristic::PreferSampling > , smtrat::cad::debug::IDSanitizer , smtrat::cad::MISGeneration< heuristic > , smtrat::cad::PolynomialComparator< PolynomialGetter > , smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >::ProjectionCandidateComparator , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::ProjectionCandidateComparator , smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings >::PolynomialComparator , smtrat::cad::projection_compare::ProjectionComparator_impl< Args > , smtrat::cad::ProjectionInformation , smtrat::cad::ProjectionLevelInformation , smtrat::cad::ProjectionOperator , smtrat::cad::ProjectionPolynomialInformation , smtrat::cad::sample_compare::SampleComparator< Iterator, SampleCompareStrategy::Type > , smtrat::cad::sample_compare::SampleComparator_impl< It, Args > , smtrat::cad::variable_ordering::triangular_data , smtrat::cadcells::datastructures::PolyPool::element_less , smtrat::cadcells::datastructures::PolyPool , smtrat::cadcells::datastructures::property_hash< T > , smtrat::cadcells::representation::util::IntervalCompare< T > , smtrat::covering_ng::IntervalCompare< PropertiesSet > , smtrat::expression::ExpressionConverter , smtrat::expression::ExpressionModifier , smtrat::expression::ExpressionTypeChecker< T > , smtrat::expression::ExpressionVisitor , smtrat::expression::simplifier::BaseSimplifier , smtrat::expression::simplifier::Simplifier , smtrat::expression::simplifier::SimplifierChainCaller< chainID > , smtrat::expression::simplifier::SimplifierChainCaller< 0 > , smtrat::fmplex::FMplexElimination::cmp_row , smtrat::ICEModule< Settings >::CycleCollector , smtrat::icp::contractionCandidateComp , smtrat::icp::icpVariableComp , smtrat::ICPModule< Settings >::comp , smtrat::ICPModule< Settings >::formulaPtrComp , smtrat::mcsat::arithmetic::AssignmentFinder , smtrat::mcsat::fm::DefaultComparator , smtrat::mcsat::fm::Explanation< Settings > , smtrat::mcsat::fm::MaxSizeComparator , smtrat::mcsat::fm::MinSizeComparator , smtrat::mcsat::fm::MinVarCountComparator , smtrat::mcsat::icp::Explanation , smtrat::mcsat::nlsat::Explanation , smtrat::mcsat::onecell::Explanation< Settings > , smtrat::mcsat::onecellcad::levelwise::Explanation< Setting1, Setting2 > , smtrat::mcsat::onecellcad::recursive::Explanation< Setting1, Setting2 > , smtrat::mcsat::ParallelExplanation< Backends > , smtrat::mcsat::smtaf::AssignmentFinder< Settings > , smtrat::mcsat::vs::Explanation , smtrat::ModuleInput::IteratorCompare , smtrat::parser::BitvectorInstantiator , smtrat::parser::conversion::Converter< To > , smtrat::parser::conversion::Converter< FormulaT > , smtrat::parser::conversion::Converter< Poly > , smtrat::parser::conversion::Converter< types::BVTerm > , smtrat::parser::conversion::VariantConverter< Res > , smtrat::parser::conversion::VariantVariantConverter< Res > , smtrat::parser::conversion::VectorVariantConverter< Res > , smtrat::parser::CoreInstantiator , smtrat::parser::EncodingInstantiator , smtrat::parser::ErrorHandler , smtrat::parser::FunctionInstantiator , smtrat::parser::IndexedBitvectorInstantiator , smtrat::parser::IndexedFunctionInstantiator , smtrat::parser::Instantiator< V, T > , smtrat::parser::Theories::ConstantAdder , smtrat::parser::Theories::SimpleSortAdder , smtrat::parser::TheoryError , smtrat::parser::ToRealInstantiator , smtrat::qe::fmplex::FMplexQE::cmp_row , smtrat::SampledDerivationRefCompare , smtrat::sat::detail::ClauseChecker , smtrat::SATModule< Settings >::lemma_lt , smtrat::SATModule< Settings >::UnorderedClauseLookup::UnorderedClauseHasher , smtrat::SATModule< Settings >::VarOrderLt , smtrat::SATModule< Settings >::WatcherDeleted , smtrat::VarSchedulerMinisat::VarOrderLt , smtrat::vb::Variable< T >::boundPointerComp , smtrat::vs::substitutionPointerEqual , smtrat::vs::substitutionPointerHash , smtrat::vs::unsignedTripleCmp , std::hash< const smtrat::expression::ExpressionContent * > , std::hash< smtrat::expression::BinaryExpression > , std::hash< smtrat::expression::Expression > , std::hash< smtrat::expression::ITEExpression > , std::hash< smtrat::expression::NaryExpression > , std::hash< smtrat::expression::QuantifierExpression > , std::hash< smtrat::expression::UnaryExpression > , std::hash< smtrat::lra::Variable< T1, T2 > > , std::hash< smtrat::vs::Substitution > , std::hash< std::vector< T > > , std::hash_combiner
• operator*() : benchmax::RandomizationAdaptor< T >::iterator , smtrat::fmplex::Matrix::col_iterator , smtrat::fmplex::Matrix::row_iterator , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge , smtrat::lra::Tableau< Settings, T1, T2 >::Iterator , smtrat::lra::Value< T > , smtrat::qe::util::Matrix::col_iterator , smtrat::qe::util::Matrix::row_iterator
• operator*=() : smtrat::lra::Value< T >
• operator+() : smtrat::lra::Value< T >
• operator++() : benchmax::RandomizationAdaptor< T >::iterator , smtrat::fmplex::Matrix::col_iterator , smtrat::fmplex::Matrix::row_iterator , smtrat::qe::util::Matrix::col_iterator , smtrat::qe::util::Matrix::row_iterator
• operator+=() : smtrat::cad::Origin , smtrat::ICEModule< Settings >::Coefficient , smtrat::lra::Value< T >
• operator-() : smtrat::lra::Value< T >
• operator-=() : smtrat::cad::Origin , smtrat::lra::Value< T >
• operator->() : smtrat::fmplex::Matrix::col_iterator , smtrat::fmplex::Matrix::row_iterator , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge , smtrat::qe::util::Matrix::col_iterator , smtrat::qe::util::Matrix::row_iterator
• operator/() : smtrat::lra::Value< T >
• operator/=() : smtrat::lra::Value< T >
• operator< : benchmax::Tool , Minisat::Lit , smtrat::BackendLink , smtrat::cad::Origin::BaseType , smtrat::cad::Sample , smtrat::cadcells::datastructures::DerivationRef< Properties > , smtrat::cadcells::datastructures::PolyPool::Element , smtrat::cadcells::datastructures::RootFunction , smtrat::expression::Expression , smtrat::FormulaWithOrigins , smtrat::icp::ContractionCandidate , smtrat::icp::IcpVariable , smtrat::lra::Bound< T1, T2 > , smtrat::lra::Numeric , smtrat::lra::Value< T > , smtrat::lra::Variable< T1, T2 > , smtrat::parser::FixedWidthConstant< T > , smtrat::Task , smtrat::vb::Bound< T > , smtrat::vs::Condition
• operator<< : Minisat::Watcher , smtrat::AnnotatedBVTerm , smtrat::BlastedConstr , smtrat::BlastedPoly , smtrat::BVAnnotation , smtrat::cad::CADConstraints< BT > , smtrat::cad::CADPreprocessor , smtrat::cad::ConflictGraph , smtrat::cad::debug::DotSubgraph , smtrat::cad::debug::TikzTreePrinter::UnifiedNode , smtrat::cad::ModelBasedProjection< Incrementality::NONE, Backtracking::ORDERED, Settings > , smtrat::cad::Origin::BaseType , smtrat::cad::Origin , smtrat::cad::PolynomialLiftingQueue< PolynomialGetter > , smtrat::cad::Preprocessor , smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings > , smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >::QueueEntry , smtrat::cad::Projection< Incrementality::FULL, BT, Settings > , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::QueueEntry , smtrat::cad::Projection< Incrementality::NONE, Backtracking::ORDERED, Settings > , smtrat::cad::Projection< Incrementality::NONE, Backtracking::UNORDERED, Settings > , smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings > , smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings >::QueueEntry , smtrat::cad::Sample , smtrat::cadcells::datastructures::PolyPool , smtrat::cadcells::datastructures::RootFunction , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices > , smtrat::ICEModule< Settings >::Coefficient , smtrat::ICEModule< Settings >::EdgeProperty , smtrat::icp::IcpVariable , smtrat::lra::Bound< T1, T2 > , smtrat::mcsat::arithmetic::Covering , smtrat::mcsat::ClauseChain::Link , smtrat::mcsat::ClauseChain , smtrat::mcsat::fm::Bound , smtrat::mcsat::MCSATMixin< Settings > , smtrat::parser::OutputWrapper , smtrat::parser::TheoryError , smtrat::qe::cad::Projection< Settings > , smtrat::StrategyGraph , smtrat::vb::Bound< T > , smtrat::vs::Condition
• operator<=() : smtrat::lra::Bound< T1, T2 > , smtrat::lra::Numeric , smtrat::lra::Value< T >
• operator=() : benchmax::Tool , Minisat::BoolOption , Minisat::DoubleOption , Minisat::IntOption , Minisat::Map< K, D, H, E > , Minisat::StringOption , Minisat::vec< T > , smtrat::cad::LiftingTree< Settings > , smtrat::cad::Origin , smtrat::fmplex::Matrix , smtrat::ICEModule< Settings >::Coefficient , smtrat::LevelWiseInformation< Settings > , smtrat::lra::Numeric , smtrat::lra::Tableau< Settings, T1, T2 >::Iterator , smtrat::lra::Value< T > , smtrat::Module::TheoryPropagation , smtrat::parser::Identifier , smtrat::qe::util::Matrix
• operator==() : Minisat::lbool , Minisat::Lit , Minisat::Watcher , smtrat::cad::Origin::BaseType , smtrat::cad::Origin , smtrat::cad::Projection< Incrementality::SIMPLE, BT, Settings >::QueueEntry , smtrat::cad::Sample , smtrat::cadcells::datastructures::Bound , smtrat::cadcells::datastructures::DerivationRef< Properties > , smtrat::cadcells::datastructures::RootFunction , smtrat::expression::Expression , smtrat::fmplex::Matrix::col_iterator , smtrat::fmplex::Matrix::row_iterator , smtrat::FormulaWithOrigins , smtrat::icp::ContractionCandidate , smtrat::lra::Bound< T1, T2 > , smtrat::lra::Numeric , smtrat::lra::Tableau< Settings, T1, T2 >::Iterator , smtrat::lra::Value< T > , smtrat::lra::Variable< T1, T2 > , smtrat::mcsat::vs::helper::TestCandidate , smtrat::PolyTreeContent , smtrat::qe::util::Matrix::col_iterator , smtrat::qe::util::Matrix::row_iterator , smtrat::vs::Condition , smtrat::vs::Substitution
• operator>() : smtrat::cad::Sample , smtrat::lra::Bound< T1, T2 > , smtrat::lra::Numeric , smtrat::lra::Value< T > , smtrat::lra::Variable< T1, T2 >
• operator>=() : smtrat::lra::Bound< T1, T2 > , smtrat::lra::Numeric , smtrat::lra::Value< T >
• operator[]() : Minisat::Clause , Minisat::ClauseAllocator , Minisat::CMap< T > , Minisat::Heap< Comp > , Minisat::Map< K, D, H, E > , Minisat::OccLists< Idx, Vec, Deleted > , Minisat::Queue< T > , Minisat::RegionAllocator< T > , Minisat::vec< T > , smtrat::cad::CADConstraints< BT > , smtrat::cad::variable_ordering::VariableMap< T > , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices > , smtrat::mcsat::arithmetic::RootIndexer< RANT > , smtrat::mcsat::onecellcad::RealAlgebraicPoint< Number > , smtrat::mcsat::variableordering::VariableIDs
• operator^() : Minisat::lbool
• OperatorType : smtrat::parser::BitvectorTheory , smtrat::parser::CoreTheory
• operator|() : smtrat::cad::Origin
• operator||() : Minisat::lbool
• ops : smtrat::parser::ArithmeticTheory
• optimization : smtrat::Executor< Strategy >
• Optimization() : smtrat::Optimization< Solver >
• OptimizationPreprocessing() : smtrat::OptimizationPreprocessing
• OptimizationStrategy() : smtrat::OptimizationStrategy
• optimize() : smtrat::LRAModule< Settings >
• optimizeIndependentNonbasics() : smtrat::lra::Tableau< Settings, T1, T2 >
• Option() : Minisat::Option
• option() : smtrat::parser::InstructionHandler
• options : smtrat::parser::InstructionHandler
• Order : smtrat::GBModule< Settings > , smtrat::GBPPSettings1 , smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings51A , smtrat::GBSettings5 , smtrat::GBSettings61A , smtrat::GBSettings63 , smtrat::GBSettings6
• order_heap : smtrat::VarSchedulerMinisat
• ordered() : smtrat::cad::CADConstraints< BT >
• ordering : smtrat::cadcells::datastructures::CellRepresentation< P > , smtrat::cadcells::datastructures::CoveringRepresentation< P > , smtrat::cadcells::operators::properties::root_ordering_holds , smtrat::TheoryVarSchedulerStatic< vot > , smtrat::VarSchedulerFixedRandom , smtrat::VarSchedulerMcsatActivityPreferTheory< vot >
• ordering_non_projective_polys : smtrat::cadcells::datastructures::CellRepresentation< P >
• ordering_polys : smtrat::cadcells::datastructures::CellRepresentation< P >
• Origin() : smtrat::cad::Origin
• origin : smtrat::cad::ProjectionPolynomialInformation::PolyInfo , smtrat::cadcells::datastructures::TaggedIndexedRoot , smtrat::icp::ContractionCandidate , smtrat::ICPModule< Settings >::linearVariable , smtrat::LRAModule< Settings >::Context
• origin_column() : smtrat::fmplex::FMplexElimination , smtrat::qe::fmplex::FMplexQE
• original_polynomial_contraction : smtrat::ICPSettings1
• originalCondition() : smtrat::vs::State
• originalConditions() : smtrat::vs::Condition , smtrat::vs::Substitution
• originalVariables() : smtrat::LRAModule< Settings >
• originalVars() : smtrat::lra::Tableau< Settings, T1, T2 >
• originInReceivedFormula() : smtrat::Module
• Origins : smtrat::cad::Preprocessor
• origins() : smtrat::ElementWithOrigins< Element, Origin > , smtrat::FormulaWithOrigins , smtrat::ICPModule< Settings >::weights , smtrat::lra::Bound< T1, T2 > , smtrat::SATModule< Settings >::Abstraction , smtrat::vb::Bound< T >
• out() : smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices >::Edge , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices > , smtrat::parser::OutputWrapper
• outgoing : smtrat::cad::debug::TikzDAGPrinter::Node
• output_dir : benchmax::settings::BenchmarkSettings
• output_file_csv : benchmax::settings::BenchmarkSettings
• output_file_xml : benchmax::settings::BenchmarkSettings
• output_only : smtrat::STropSettings1 , smtrat::STropSettings2 , smtrat::STropSettings2OutputOnly , smtrat::STropSettings3 , smtrat::STropSettings3b , smtrat::STropSettings3bOutputOnly , smtrat::STropSettings3OutputOnly
• OutputWrapper() : smtrat::parser::OutputWrapper