- b -

• BackVisit : Dag_DfsFunctions_t , RbcDfsFunctions
• bdd : SimulateState
• bdd2bmc_heuristic : McCheckInvarOpts
• bdd_enc : SATCompleteTraceExecutor , SATPartialTraceExecutor
• bdd_fsm : Prop
• bddenc : Prop_Rewriter
• bddtype : node_val
• be : shift_memoize_key
• be2spec_converter : Be_Manager
• be_fsm : Prop
• be_mgr : BeEnc
• bmc_length : McCheckInvarOpts
• body : HrcDumperInfo
• bool_enc : BoolEncClient
• bool_fsm : Prop
• buckets : Trace
• build_anonymous : NodeAnonymizerBase
• bwd_define_frame : TraceVarFrame