- b -

• base_level() : smtrat::cadcells::datastructures
• biggest_cell_ordering() : smtrat::cadcells::representation::util
• buildAbove() : smtrat::mcsat::nlsat::helper
• buildBelow() : smtrat::mcsat::nlsat::helper
• buildEquality() : smtrat::mcsat::nlsat::helper
• buildFormulaFromVC() : smtrat::mcsat::nlsat::helper