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

- b -

• back() : carl::Formula< Pol >
• base() : carl::BVValue
• Base : carl::BVValue , carl::ModelVariable , carl::tree_detail::ChildrenIterator< T, reverse > , carl::tree_detail::DepthIterator< T, reverse > , carl::tree_detail::LeafIterator< T, reverse > , carl::tree_detail::PathIterator< T > , carl::tree_detail::PostorderIterator< T, reverse > , carl::tree_detail::PreorderIterator< T, reverse > , carl::VariableAssignment< Poly >
• base_formula() : carl::Formula< Pol >
• base_value() : carl::VariableAssignment< Poly >
• BaseIntType : carl::GaloisField< IntegerType > , carl::GaloisFieldManager< IntegerType >
• BaseIterator() : carl::tree_detail::BaseIterator< T, Iterator, reverse >
• BaseRepresentation() : carl::BaseRepresentation< Number >
• baseReprToPolynomial() : carl::MultiplicationTable< Number >
• BaseType : carl::Bitset
• BasicConstraint() : carl::BasicConstraint< Pol >
• basisis_constant() : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• begin() : carl::Bitset , carl::BitVector , carl::carlVariables , carl::Formula< Pol > , carl::Heap< C > , carl::Model< Rational, Poly > , carl::Monomial , carl::MultiplicationTable< Number > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::tree< T > , carl::VarsInfo< CoeffType >
• begin_children() : carl::tree< T >
• begin_depth() : carl::tree< T >
• begin_leaf() : carl::tree< T >
• begin_path() : carl::tree< T >
• begin_postorder() : carl::tree< T >
• begin_preorder() : carl::tree< T >
• binary_quantity() : carl::settings::binary_quantity
• binaryop : carl::io::parser::FormulaParser< Pol >
• bisect_by_approximation() : carl::ran::interval::RealRootIsolation< Number >
• bits_per_block : carl::Bitset
• Bitset() : carl::Bitset
• bitsize() : carl::RealAlgebraicNumberThom< Number >
• BITSIZE : carl::Variable
• BitVector() : carl::BitVector
• bitvector() : carl::carlVariables , carl::variable_type_filter
• BitvectorSubstitutor() : carl::helper::BitvectorSubstitutor< Pol >
• bloat_by() : carl::Interval< Number >
• bloat_times() : carl::Interval< Number >
• boolean() : carl::carlVariables , carl::Formula< Pol > , carl::io::parser::ExpressionParser< Pol > , carl::variable_type_filter
• booleanBinaryExpr() : carl::io::parser::ExpressionParser< Pol >
• booleanUnaryExpr() : carl::io::parser::ExpressionParser< Pol >
• BoostInterval : carl::Interval< Number >
• BoostIntervalPolicies : carl::Interval< Number >
• bor() : carl::GroebnerBase< Number >
• bound_type : carl::LowerBound< Number > , carl::UpperBound< Number >
• br : carl::MultiplicationTable< Number >::TableContent
• branching_point : carl::IntRepRealAlgebraicNumber< Number >
• Buchberger() : carl::Buchberger< Polynomial, AddingPolicy >
• BuchbergerStats() : carl::BuchbergerStats
• BuildType : carl::CompileInfo
• bv_constraint() : carl::Formula< Pol >
• BVBinaryContent() : carl::BVBinaryContent
• BVConstraint() : carl::BVConstraint
• BVConstraintPool : carl::BVConstraint
• BVExtractContent() : carl::BVExtractContent
• BVTerm() : carl::BVTerm
• BVTermContent() : carl::BVTermContent
• BVTermPool : carl::BVTerm , carl::BVTermPool
• BVUnaryContent() : carl::BVUnaryContent
• BVValue() : carl::BVValue
• BVVariable() : carl::BVVariable