- f -

• falsified() : CDNLSolver
• FatalError() : FatalError
• filter() : Interpretation
• finalCompatibilityCheck() : GenuineGuessAndCheckModelGenerator
• finalize_target_vector() : bm::iterator_deserializer< BV, SerialIterator >
• find() : Set< T > , DynamicVector< K, T >
• find_max_block() : bm::random_subset< BV >
• find_next_nz_block() : bm::blocks_manager< Alloc >
• finish() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• FiniteFiberChecker() : DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker
• FinitenessChecker() : DLVHEX_NAMESPACE_BEGIN::FinitenessChecker
• first() : bm::bvector< Alloc >
• flip() : bm::bvector< Alloc >::reference , bm::bvector< Alloc > , bm::bvector< Alloc >::reference , bm::bvector< Alloc >
• flipDecisionLiteral() : CDNLSolver
• FLPModelGeneratorBase() : FLPModelGeneratorBase
• FLPModelGeneratorFactoryBase() : FLPModelGeneratorFactoryBase
• flush() : dlvhex::ConcurrentMessageQueueOwning< MessageBase > , bm::bit_out< TEncoder >
• flush_accum() : bm::bit_out< TEncoder >
• forget_count() : bm::bvector< Alloc >
• forgetLeastFrequentlyAdded() : NogoodSet , SimpleNogoodContainer
• free_bit_block() : bm::mem_alloc< BA, PA >
• free_block() : bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc > , bm::blocks_manager< Alloc >::block_opt_func , bm::blocks_manager< Alloc >
• free_gap_block() : bm::mem_alloc< BA, PA >
• free_ptr() : bm::blocks_manager< Alloc > , bm::mem_alloc< BA, PA > , bm::blocks_manager< Alloc >
• free_tempblock() : bm::bvector< Alloc >
• free_top_block() : bm::blocks_manager< Alloc >
• frequent() : ExternalAtomEvaluationHeuristicsAlways , ExternalAtomEvaluationHeuristicsPeriodic , ExternalAtomEvaluationHeuristics
• front() : Atom
• FunctionComposeAtom() : FunctionComposeAtom
• FunctionDecomposeAtom() : FunctionDecomposeAtom
• FunctionDecomposeGeneralAtom() : FunctionDecomposeGeneralAtom
• FunctionInterprete() : FunctionInterprete
• FunctionParserModuleAtomSemantics() : FunctionParserModuleAtomSemantics
• FunctionParserModuleTermSemantics() : FunctionParserModuleTermSemantics
• FunctionPlugin() : FunctionPlugin
• FunctionRewriter() : FunctionRewriter
• functionTermConstruct() : FunctionParserModuleTermSemantics::functionTermConstruct
• functionTermEval() : FunctionParserModuleAtomSemantics::functionTermEval