Here is a list of all struct and union fields with links to the structures/unions they belong to:
- f -
- fact
: DLVResultGrammar< Iterator >
- Factory
: GenuineGuessAndCheckModelGenerator
, GenuineWellfoundedModelGenerator
- factory
: FLPModelGeneratorBase
, GenuineGuessAndCheckModelGenerator
- Factory
: GuessAndCheckModelGenerator
- factory
: GenuinePlainModelGenerator
, GenuineWellfoundedModelGenerator
- Factory
: GenuinePlainModelGenerator
, PlainModelGenerator
- factory
: GuessAndCheckModelGenerator
, PlainModelGenerator
- Factory
: WellfoundedModelGenerator
- factory
: WellfoundedModelGenerator
, TestModelGeneratorFactory::ModelGenerator
- factsOnDecisionLevel
: CDNLSolver
- failureState
: State
- falsified
: BaseModelGenerator::VerifyExternalAtomCB
, CDNLSolver
- FatalError()
: FatalError
- file
: SyntaxError
- filter()
: Interpretation
- FilterCallback
: Interpretation
- filterpm
: AnswerSetPrinterCallback
, CSVAnswerSetPrinterCallback
- finalCallbacks
: ProgramCtx
- finalCompatibilityCheck()
: GenuineGuessAndCheckModelGenerator
- finalize_target_vector()
: bm::iterator_deserializer< BV, SerialIterator >
- find()
: Set< T >
, DynamicVector< K, T >
, Set< T >
- find_max_block()
: bm::random_subset< BV >
- find_next_nz_block()
: bm::blocks_manager< Alloc >
- finish()
: benchmark::simple::BenchmarkController
, benchmark::nestingAware::NestingAwareController
- finiteFiber
: ExtSourceProperties
- FiniteFiberChecker()
: DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker
- FinitenessChecker()
: DLVHEX_NAMESPACE_BEGIN::FinitenessChecker
- finiteOutputDomain
: ExtSourceProperties
- first
: TestFinalCallback
, bm::bvector< Alloc >
- firstas
: CSVAnswerSetPrinterCallback
- firstcall
: GenuineWellfoundedModelGenerator
- firstmodel
: InternalGroundASPSolver
- FirstOrder
: DLVResultParser
- firstRun
: DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker
, DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
- firststart
: benchmark::nestingAware::NestingAwareController::Current
- fixedDomain
: ComponentGraph::ComponentInfo
- flag
: option
- flip()
: bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
, bm::bvector< Alloc >::reference
, bm::bvector< Alloc >
- flipDecisionLiteral()
: CDNLSolver
- flipped
: CDNLSolver
- FLPModelGeneratorBase()
: FLPModelGeneratorBase
, FLPModelGeneratorFactoryBase
- FLPModelGeneratorFactoryBase()
: FLPModelGeneratorFactoryBase
- flush()
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
, bm::bit_out< TEncoder >
- flush_accum()
: bm::bit_out< TEncoder >
- fMask
: FLPModelGeneratorFactoryBase
- fn
: print_method_container
- fname
: EvalHeuristicFromFile
- forget_count()
: bm::bvector< Alloc >
- forgetLeastFrequentlyAdded()
: NogoodSet
, SimpleNogoodContainer
- foundedAtomsOfBodyAtom
: InternalGroundASPSolver
- free_bit_block()
: bm::mem_alloc< BA, PA >
- free_block()
: bm::blocks_manager< Alloc >
, bm::blocks_manager< Alloc >::block_opt_func
, bm::blocks_manager< Alloc >
, bm::blocks_manager< Alloc >::block_opt_func
- free_gap_block()
: bm::mem_alloc< BA, PA >
- free_ptr()
: bm::blocks_manager< Alloc >
, bm::mem_alloc< BA, PA >
- free_tempblock()
: bm::bvector< Alloc >
- free_top_block()
: bm::blocks_manager< Alloc >
- freeIndices
: NogoodSet
- frequent()
: ExternalAtomEvaluationHeuristicsPeriodic
, ExternalAtomEvaluationHeuristics
, ExternalAtomEvaluationHeuristicsAlways
- from_
: bm::decoder_range_adapter< DEC >
- front()
: Atom
- full
: InternalGrounder
- functional
: ExtSourceProperties
- functionalStart
: ExtSourceProperties
- FunctionComposeAtom()
: FunctionComposeAtom
- FunctionDecomposeAtom()
: FunctionDecomposeAtom
- FunctionDecomposeGeneralAtom()
: FunctionDecomposeGeneralAtom
- FunctionInterprete()
: FunctionInterprete
- FunctionParserModuleAtomSemantics()
: FunctionParserModuleAtomSemantics
- FunctionParserModuleTermSemantics()
: FunctionParserModuleTermSemantics
- FunctionPlugin()
: FunctionPlugin
- FunctionRewriter()
: FunctionRewriter
- functionTermConstruct()
: FunctionParserModuleTermSemantics::functionTermConstruct
- functionTermEval()
: FunctionParserModuleAtomSemantics::functionTermEval