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

- b -

• bdd2aigvar() : spot::aig
• bdd2INFvar() : spot::aig
• bdd2ISOPvar() : spot::aig
• begin() : spot::fnode, spot::formula
• binop() : spot::fnode, spot::formula
• boolean_count() : spot::fnode, spot::formula
• boolean_operands() : spot::fnode, spot::formula
• boolean_to_isop() : spot::tl_simplifier
• buchi() : spot::acc_cond::acc_code
• bunop() : spot::fnode, spot::formula