- b -

• binary_antes : Clasp::SolverStrategies
• binary_constraint : Clasp::Antecedent
• binary_imp : Clasp::ShortImplicationsGraph
• block_size : bk_lib::detail::left_right_rep< L, R >
• BODY : Clasp::VarInfo
• body_lookahead : Clasp::Lookahead
• BODY_NODE : Clasp::Asp::PrgEdge
• body_var : Clasp::Var_t
• brave_consequences : Clasp::CBConsequences