- b -
- backtrack()
: CDNLSolver
, InternalGrounder
- BaseModelGenerator()
: BaseModelGenerator
- BaseModelGeneratorFactory()
: BaseModelGeneratorFactory
- begin()
: Set< T >
- BenchmarkController()
: benchmark::simple::BenchmarkController
- BenignCycleChecker()
: DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker
- betterThan()
: AnswerSet
- biDependency()
: InternalGrounder
- binarySearch()
: Set< T >
- bit_and()
: Interpretation
, bm::bvector< Alloc >
- bit_block_guard()
: bm::bit_block_guard< BlocksManager >
- bit_count()
: bm::bvector_mini< A >
- bit_in()
: bm::bit_in< TDecoder >
- bit_operation_count()
: bm::operation_functions< T >
- bit_or()
: bm::bvector< Alloc >
- bit_out()
: bm::bit_out< TEncoder >
- bit_sub()
: bm::bvector< Alloc >
- bit_xor()
: bm::bvector< Alloc >
- bitblock_get_adapter()
: bm::bitblock_get_adapter
- bitblock_store_adapter()
: bm::bitblock_store_adapter
- bitblock_sum_adapter()
: bm::bitblock_sum_adapter
- block_any_func()
: bm::blocks_manager< Alloc >::block_any_func
- block_bitcount()
: bm::blocks_manager< Alloc >
- block_copy_func()
: bm::blocks_manager< Alloc >::block_copy_func
- block_count()
: bm::blocks_manager< Alloc >::block_count_base
, bm::blocks_manager< Alloc >::block_count_change_func
, bm::blocks_manager< Alloc >::block_count_base
, bm::blocks_manager< Alloc >::block_count_change_func
- block_count_arr_func()
: bm::blocks_manager< Alloc >::block_count_arr_func
- block_count_base()
: bm::blocks_manager< Alloc >::block_count_base
- block_count_change_func()
: bm::blocks_manager< Alloc >::block_count_change_func
- block_count_func()
: bm::blocks_manager< Alloc >::block_count_func
- block_free_func()
: bm::blocks_manager< Alloc >::block_free_func
- block_idx()
: bm::serial_stream_iterator< DEC >
- block_invert_func()
: bm::blocks_manager< Alloc >::block_invert_func
- block_one_func()
: bm::blocks_manager< Alloc >::block_one_func
- block_opt_func()
: bm::blocks_manager< Alloc >::block_opt_func
- block_zero_func()
: bm::blocks_manager< Alloc >::block_zero_func
- blocks_manager()
: bm::blocks_manager< Alloc >
- blocks_root()
: bm::blocks_manager< Alloc >
- bm_func_base()
: bm::blocks_manager< Alloc >::bm_func_base
- bm_func_base_const()
: bm::blocks_manager< Alloc >::bm_func_base_const
- bo()
: bm::globals< T >::bo
- BOOST_CONCEPT_ASSERT()
: ModelBuilder< EvalGraphT >
, EvalGraphBuilder
, ModelBuilder< EvalGraphT >
, ModelGeneratorBase< InterpretationT >
, EvalUnitModelGeneratorFactoryProperties< InterpretationT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, ComponentGraph
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, EvalGraphBuilder
- build()
: EvalHeuristicBase< EvalGraphBuilderT >
, EvalHeuristicMonolithic
, EvalHeuristicEasy
, EvalHeuristicOldDlvhex
, EvalHeuristicASP
, EvalHeuristicTrivial
, EvalHeuristicGreedy
, DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
, EvalHeuristicFromFile
- buildEAtomInputTuples()
: BaseModelGenerator
- buildGroundInstance()
: InternalGrounder
- buildIModels()
: OfflineModelBuilder< EvalGraphT >
- buildIModelsRecursively()
: OfflineModelBuilder< EvalGraphT >
- buildOModels()
: OfflineModelBuilder< EvalGraphT >
- buildOModelsRecursively()
: OfflineModelBuilder< EvalGraphT >
- buildPredicateIndex()
: InternalGrounder
- BuiltinAtom()
: BuiltinAtom
- bv_size()
: bm::serial_stream_iterator< DEC >
- bvector()
: bm::bvector< Alloc >
- bvector_mini()
: bm::bvector_mini< A >
- bvmini()
: bm::bvmini< N >
- byte_order()
: bm::globals< T >
- byte_order_serialization()
: bm::serializer< BV >