- b -

• backwardSubsumptionCheck() : Minisat::SimpSolver
• BoolOption() : Minisat::BoolOption
• bucket() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• bucket_count() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• budgetOff() : Minisat::Solver
• build() : Minisat::Heap< Comp >
• build_extensions() : setup.build_ext_subclass