- f -

• fact : DLVResultGrammar< Iterator >
• factory : FLPModelGeneratorBase , GenuinePlainModelGenerator , WellfoundedModelGenerator , TestModelGeneratorFactory::ModelGenerator , GenuineWellfoundedModelGenerator , GenuineGuessAndCheckModelGenerator , GuessAndCheckModelGenerator , PlainModelGenerator
• factsOnDecisionLevel : CDNLSolver
• failureState : State
• falsified : BaseModelGenerator::VerifyExternalAtomCB
• file : SyntaxError
• filterpm : AnswerSetPrinterCallback , CSVAnswerSetPrinterCallback
• finalCallbacks : ProgramCtx
• finiteFiber : ExtSourceProperties
• finiteOutputDomain : ExtSourceProperties
• first : TestFinalCallback
• firstas : CSVAnswerSetPrinterCallback
• firstcall : GenuineWellfoundedModelGenerator
• firstmodel : InternalGroundASPSolver
• firstRun : DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker , DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
• firststart : benchmark::nestingAware::NestingAwareController::Current
• fixedDomain : ComponentGraph::ComponentInfo
• flag : option
• flipped : CDNLSolver
• fMask : FLPModelGeneratorFactoryBase
• fn : print_method_container
• fname : EvalHeuristicFromFile
• foundedAtomsOfBodyAtom : InternalGroundASPSolver
• freeIndices : NogoodSet
• from_ : bm::decoder_range_adapter< DEC >
• functional : ExtSourceProperties
• functionalStart : ExtSourceProperties