- b -

• basename() : carl
• binary() : carl
• bitsize() : carl
• bitvector_variables() : carl
• boolean_variables() : carl
• bounds_connect() : carl
• branching_point() : carl
• breakSymmetries() : carl::formula