- b -

• backend : benchmax::settings::OperationSettings , smtrat::NewCoveringModule< Settings >
• 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
• base_level : smtrat::cadcells::datastructures::PolyRef
• basedir : benchmax::settings::SSHBackendSettings
• be_quiet : benchmax::settings::CoreSettings
• be_verbose : benchmax::settings::CoreSettings
• begin : Minisat::DoubleRange , Minisat::Int64Range , Minisat::IntRange
• begin_inclusive : Minisat::DoubleRange
• between : smtrat::cadcells::representation::approximation::ApxSettings
• bias : smtrat::subtropical::Separator
• biggest_cell_wrt : smtrat::cadcells::datastructures::IndexedRootOrdering
• binary : smtrat::parser::SpecConstantParser
• binding : smtrat::parser::TermParser
• bindings : smtrat::parser::ParserState , smtrat::parser::ParserState::ExpressionScope
• blocker : Minisat::Watcher
• boolConstraints : smtrat::PBPPModule< Settings >
• boolean_ordering : smtrat::VarSchedulerMcsatBooleanFirst< vot > , smtrat::VarSchedulerMcsatTheoryFirst< TheoryScheduler > , smtrat::VarSchedulerMcsatUnivariateConstraintsOnly< lookahead, vot >
• boolEncodings : smtrat::PBPPModule< Settings >
• bound : smtrat::cadcells::representation::approximation::ApxSettings
• boundFunction : smtrat::mcsat::onecellcad::Section
• bounds : 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
• boundsChanged : smtrat::PFEModule< Settings >
• branch_and_bound_at_origin : smtrat::VSSettings1
• bRational : smtrat::RationalCapsule
• buf : Minisat::Queue< T >
• bvSort : smtrat::parser::BitvectorTheory