Here is a list of all documented class members with links to the class documentation for each member:

- b -

• b : spot::enumerate_cycles::state_info
• ba_simul_ : spot::postprocessor
• backprop_graph() : spot::backprop_graph
• barand() : spot::barand< gen >
• basis() : spot::edge_separator
• basis_size() : spot::edge_separator
• bdd2aigvar() : spot::aig
• bdd2INFvar() : spot::aig
• bdd2ISOPvar() : spot::aig
• bdd2var_ : spot::aig
• bdd_dict_preorder() : spot::bdd_dict_preorder
• bdd_info_map : spot::bdd_dict
• bdd_map : spot::bdd_dict
• bdd_to_mark() : spot::ltl_to_tgba_fm_otf
• begin() : spot::adjlist< State_Data >::successor_range , spot::edge_separator_filter< subsumed > , spot::fnode , spot::formula , spot::scc_info
• bfs_steps() : spot::bfs_steps
• binop() : spot::fnode , spot::formula
• bitvect() : spot::bitvect
• block_t : spot::bitvect
• boolean_count() : spot::fnode , spot::formula
• boolean_operands() : spot::fnode , spot::formula
• boolean_to_isop() : spot::tl_simplifier , 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() : spot::acc_cond::acc_code
• buchi_type_to_buchi : spot::to_parity_options
• build : spot::random_formula::op_proba
• build_simplifier() : spot::translator
• builder : spot::random_formula::op_proba
• bunop() : spot::fnode , spot::formula
• bv : spot::synthesis_info