Here is a list of all documented namespace functions with links to the namespaces they belong to:

- b -

• bdd_and() : adiar
• bdd_apply() : adiar
• bdd_bot() : adiar
• bdd_const() : adiar
• bdd_cube() : adiar
• bdd_diff() : adiar
• bdd_equal() : adiar
• bdd_equiv() : adiar
• bdd_eval() : adiar
• bdd_exists() : adiar
• bdd_false() : adiar
• bdd_forall() : adiar
• bdd_from() : adiar
• bdd_high() : adiar
• bdd_imp() : adiar
• bdd_invimp() : adiar
• bdd_iscanonical() : adiar
• bdd_isconst() : adiar
• bdd_iscube() : adiar
• bdd_isfalse() : adiar
• bdd_isithvar() : adiar
• bdd_isnithvar() : adiar
• bdd_isterminal() : adiar
• bdd_istrue() : adiar
• bdd_isvar() : adiar
• bdd_ite() : adiar
• bdd_ithvar() : adiar
• bdd_less() : adiar
• bdd_low() : adiar
• bdd_maxvar() : adiar
• bdd_minvar() : adiar
• bdd_nand() : adiar
• bdd_nithvar() : adiar
• bdd_nodecount() : adiar
• bdd_nor() : adiar
• bdd_not() : adiar
• bdd_optmin() : adiar
• bdd_or() : adiar
• bdd_pathcount() : adiar
• bdd_printdot() : adiar
• bdd_relnext() : adiar
• bdd_relprev() : adiar
• bdd_relprod() : adiar
• bdd_replace() : adiar
• bdd_restrict() : adiar
• bdd_satcount() : adiar
• bdd_satmax() : adiar
• bdd_satmin() : adiar
• bdd_support() : adiar
• bdd_terminal() : adiar
• bdd_top() : adiar
• bdd_topvar() : adiar
• bdd_true() : adiar
• bdd_unequal() : adiar
• bdd_varcount() : adiar
• bdd_xnor() : adiar
• bdd_xor() : adiar