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

- b -

• B : smtrat::mcsat::FastParallelExplanation< Backends > , smtrat::mcsat::FullParallelExplanation< Backends > , smtrat::mcsat::ParallelExplanation< Backends > , smtrat::mcsat::SequentialAssignment< Backends > , smtrat::mcsat::SequentialExplanation< Backends >
• back() : smtrat::ModuleInput
• Backend() : benchmax::Backend
• backend : benchmax::settings::OperationSettings
• Backend() : smtrat::Backend< Settings >
• backend : smtrat::NewCoveringModule< Settings >
• backendCallValuation() : smtrat::vs::State
• BackendLink() : smtrat::BackendLink
• backendsModel() : smtrat::Module
• BackendSynchronisation() : smtrat::BackendSynchronisation
• backtrack() : smtrat::covering_ng::formula::formula_ds::FormulaGraph
• backtracking : smtrat::cad::BaseSettings , smtrat::cad::IncrementalityMixin< I, B > , smtrat::mcsat::nlsat::ExplanationGenerator::ProjectionSettings , smtrat::NewCoveringSettings1 , smtrat::NewCoveringSettings2 , smtrat::NewCoveringSettings4 , smtrat::qe::cad::CADSettings
• backtrackingGB : smtrat::GBSettings3
• backtrackingIneq : smtrat::GBSettings3
• backtrackTo() : smtrat::mcsat::MCSATMixin< Settings >
• base() : smtrat::cadcells::datastructures::DelineatedDerivation< Properties > , smtrat::cadcells::datastructures::DerivationRef< Properties > , smtrat::cadcells::datastructures::SampledDerivation< Properties >
• base_level : smtrat::cadcells::datastructures::PolyRef
• base_ref() : smtrat::cadcells::datastructures::DerivationRef< Properties >
• BaseDerivation() : smtrat::cadcells::datastructures::BaseDerivation< Properties >
• basedir : benchmax::settings::SSHBackendSettings
• BaseProjection() : smtrat::cad::BaseProjection< Settings >
• BaseType() : smtrat::cad::Origin::BaseType
• BC : smtrat::cadcells::operators::MccallumFilteredSettings
• be_quiet : benchmax::settings::CoreSettings
• be_verbose : benchmax::settings::CoreSettings
• begin() : benchmax::BenchmarkSet , benchmax::Jobs , benchmax::RandomizationAdaptor< T > , Minisat::DoubleRange , Minisat::Int64Range , Minisat::IntRange , smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName > , smtrat::cad::Origin , smtrat::cad::PolynomialLiftingQueue< PolynomialGetter > , smtrat::cad::SampleIteratorQueue< Iterator, Comparator > , smtrat::CollectionWithOrigins< Element, Origin > , smtrat::fmplex::Matrix::col_view , smtrat::fmplex::Matrix::row_view , smtrat::ForwardHyperGraph< VertexProperty, EdgeProperty, UniqueVertices > , smtrat::mcsat::ClauseChain , smtrat::ModuleInput , smtrat::PriorityQueue< T, Compare > , smtrat::qe::util::Matrix::col_view , smtrat::qe::util::Matrix::row_view
• begin_inclusive : Minisat::DoubleRange
• BEModule() : smtrat::BEModule< Settings >
• bestCondition() : smtrat::vs::State
• bestConstraintValuation() : smtrat::vs::State
• betterEntry() : smtrat::lra::Tableau< Settings, T1, T2 >
• between : smtrat::cadcells::representation::approximation::ApxSettings
• bias : smtrat::subtropical::Separator
• biggest_cell_wrt : smtrat::cadcells::datastructures::IndexedRootOrdering
• binary() : benchmax::Tool , smtrat::parser::SpecConstantParser
• BinaryExpression() : smtrat::expression::BinaryExpression
• BinaryParser() : smtrat::parser::BinaryParser
• binding : smtrat::parser::TermParser
• bindings : smtrat::parser::ParserState , smtrat::parser::ParserState::ExpressionScope
• Bit : smtrat::BVDirectEncoder
• Bits : smtrat::BVDirectEncoder
• BitVec : smtrat::BVDirectEncoder
• BitVecConstr : smtrat::BVDirectEncoder
• BitVecTerm : smtrat::BVDirectEncoder
• bitvectorBlastings() : smtrat::BVDirectEncoder
• BitvectorConstantParser() : smtrat::parser::BitvectorConstantParser
• BitvectorTheory() : smtrat::parser::BitvectorTheory
• blastConstraint() : smtrat::IntBlastModule< Settings >
• blastConstrTree() : smtrat::IntBlastModule< Settings >
• BlastedConstr() : smtrat::BlastedConstr
• BlastedPoly() : smtrat::BlastedPoly
• blastPolyTree() : smtrat::IntBlastModule< Settings >
• blastProduct() : smtrat::IntBlastModule< Settings >
• blastSum() : smtrat::IntBlastModule< Settings >
• blastVariable() : smtrat::IntBlastModule< Settings >
• bloatDomains() : smtrat::CSplitModule< Settings >
• blocker : Minisat::Watcher
• bool_satisfied() : smtrat::SATModule< Settings >
• bool_value() : smtrat::SATModule< Settings >
• boolAnd() : smtrat::BVDirectEncoder
• boolAssert() : smtrat::BVDirectEncoder
• boolConstraints : smtrat::PBPPModule< Settings >
• boolean_ordering : smtrat::VarSchedulerMcsatBooleanFirst< vot > , smtrat::VarSchedulerMcsatTheoryFirst< TheoryScheduler > , smtrat::VarSchedulerMcsatUnivariateConstraintsOnly< lookahead, vot >
• BooleanConstraintMap : smtrat::SATModule< Settings >
• BooleanEncodingTheory() : smtrat::parser::BooleanEncodingTheory
• BooleanExploration : smtrat::covering_ng::formula::GraphEvaluation
• BooleanVarMap : smtrat::SATModule< Settings >
• boolEncodings : smtrat::PBPPModule< Settings >
• boolIff() : smtrat::BVDirectEncoder
• boolImplies() : smtrat::BVDirectEncoder
• boolIte() : smtrat::BVDirectEncoder
• boolNot() : smtrat::BVDirectEncoder
• BoolOption() : Minisat::BoolOption
• boolOr() : smtrat::BVDirectEncoder
• boolXor() : smtrat::BVDirectEncoder
• Bound() : smtrat::cadcells::datastructures::Bound
• bound : smtrat::cadcells::representation::approximation::ApxSettings
• Bound() : smtrat::lra::Bound< T1, T2 > , smtrat::mcsat::fm::Bound , smtrat::vb::Bound< T >
• bounded_elimination() : smtrat::fmplex::FMplexElimination , smtrat::qe::fmplex::FMplexQE
• boundedVariables() : smtrat::lra::Tableau< Settings, T1, T2 >
• boundExists() : smtrat::lra::Bound< T1, T2 >
• boundFunction : smtrat::mcsat::onecellcad::Section
• bounds() : smtrat::BVAnnotation , smtrat::cad::CADConstraints< BT > , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::PurgedPolynomials::PurgedLevel , smtrat::cad::ProjectionLevelInformation::LevelInfo , smtrat::cadcells::datastructures::CompoundMaxMin , smtrat::cadcells::datastructures::CompoundMinMax , smtrat::cadcells::datastructures::PiecewiseLinearInfo
• BOUNDS_ONLY : smtrat::cadcells::operators::MccallumFilteredSettings
• boundsChanged : smtrat::PFEModule< Settings >
• BoundSet : smtrat::lra::Bound< T1, T2 > , smtrat::vb::Variable< T >
• BoundType : smtrat::LRASettings1 , smtrat::LRASettings2
• branch_and_bound() : smtrat::LRAModule< Settings >
• branch_and_bound_at_origin : smtrat::VSSettings1
• branchAt() : smtrat::Module
• Branching() : smtrat::Branching
• bRational : smtrat::RationalCapsule
• bucket() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• bucket_count() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• budgetOff() : smtrat::SATModule< Settings >
• buf : Minisat::Queue< T >
• build() : Minisat::Heap< Comp > , smtrat::parser::BinaryParser , smtrat::parser::HexadecimalParser
• build_initial_matrix() : smtrat::qe::fmplex::FMplexQE
• build_initial_systems() : smtrat::qe::fmplex::FMplexQE
• buildConflictingCore() : smtrat::mcsat::arithmetic::Covering
• buildFormula() : smtrat::ICEModule< Settings >::CycleCollector
• buildModel() : smtrat::sat::detail::ClauseChecker
• buildTree() : smtrat::TotalizerEncoder
• busy() : benchmax::ssh::SSHConnection
• BVAnnotation() : smtrat::BVAnnotation
• BVar : smtrat::MCBModule< Settings >
• BVDirectEncoder() : smtrat::BVDirectEncoder
• BVModule() : smtrat::BVModule< Settings >
• BVPreprocessing() : smtrat::BVPreprocessing
• BVSolver() : smtrat::BVSolver
• bvSort : smtrat::parser::BitvectorTheory