- b -

• basic_symbol() : hoayy::parser::basic_symbol< Base >, tlyy::parser::basic_symbol< Base >
• 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
• build() : tlyy::parser::value_type
• bunop() : spot::fnode, spot::formula
• by_kind() : hoayy::parser::by_kind, tlyy::parser::by_kind