- b -

• b : spot::enumerate_cycles::state_info
• ba_simul_ : spot::postprocessor
• bdd2var_ : spot::aig
• bdd_map : spot::bdd_dict
• boolean_to_isop : spot::tl_simplifier_options
• branching_postponement : spot::ltl_to_tgba_fm_otf::options
• branching_postponement_ : spot::language_containment_checker
• bscc : spot::to_parity_options
• buchi_type_to_buchi : spot::to_parity_options
• build : spot::random_formula::op_proba
• bv : spot::synthesis_info