- b -

• 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
• bdd_dict_preorder() : spot::bdd_dict_preorder
• 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
• boolean_count() : spot::fnode , spot::formula
• boolean_operands() : spot::fnode , spot::formula
• boolean_to_isop() : spot::tl_simplifier
• buchi() : spot::acc_cond::acc_code
• build_simplifier() : spot::translator
• bunop() : spot::fnode , spot::formula