- f -

• falsifyUfs() : Clasp::DefaultUnfoundedCheck
• fetch_and_store() : no_multi_threading::atomic< T >
• fetch_if_neq() : Clasp::CBConsequences::SharedConstraint
• FileWriter() : ProgramOptions::FileWriter
• Fill() : bk_lib::detail::Fill< T >
• finalize() : Clasp::Cli::ClaspCliConfig
• finalizeConflictClause() : Clasp::Solver
• finalizeDisjunctions() : Clasp::Asp::LogicProgram
• finalizeParsed() : Clasp::Cli::ClaspCliConfig
• finalizeSolvers() : Clasp::Cli::ClaspCliConfig
• finalizeTester() : Clasp::Cli::ClaspCliConfig
• find() : ProgramOptions::OptionContext , Clasp::SymbolTable , Clasp::Asp::NonHcfSet , Clasp::ImpliedList
• findAtom() : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap
• findEqBody() : Clasp::Asp::LogicProgram
• findGroup() : ProgramOptions::OptionContext
• findGroupKey() : ProgramOptions::OptionContext
• findImpl() : ProgramOptions::OptionContext
• findLit() : Clasp::Asp::BodyInfo , Clasp::Asp::PrgBody
• findLpFalseAtom() : Clasp::Asp::LogicProgram
• findNonHcfUfs() : Clasp::DefaultUnfoundedCheck
• findSource() : Clasp::DefaultUnfoundedCheck
• findUfs() : Clasp::DefaultUnfoundedCheck
• findUnmarkedLit() : Clasp::SatElite::SatElite
• first() : Clasp::WeightConstraint::CPair
• firstLiteral() : Clasp::Antecedent
• fixed() : Clasp::ScheduleStrategy
• fixLevel() : Clasp::UncoreMinimize
• fixLit() : Clasp::UncoreMinimize
• flag() : Clasp::VarInfo , ProgramOptions::Value
• FlagAction() : ProgramOptions::FlagAction
• flagSize() : Clasp::DefaultUnfoundedCheck::ExtData
• flush() : Clasp::Cli::WriteLemmas
• force() : Clasp::Solver
• forEach() : Clasp::ShortImplicationsGraph
• format() : ProgramOptions::DefaultFormat , ProgramOptions::OptionGroup , ProgramOptions::DefaultFormat
• format2Type() : Clasp::Problem_t
• forwardSource() : Clasp::DefaultUnfoundedCheck
• forwardUnsource() : Clasp::DefaultUnfoundedCheck
• Frame() : Clasp::DomainHeuristic::Frame
• fReduce() : Clasp::ReduceParams
• free() : Clasp::Assignment , Clasp::MinimizeBuilder::Weight , Clasp::SmallClauseAlloc
• freeLearntBytes() : Clasp::Solver
• FreeList() : Clasp::mt::MultiQueue< T, Deleter >::FreeList
• freeMem() : Clasp::Solver
• freeName() : Clasp::SymbolTable
• freeSmall() : Clasp::Solver
• freeze() : Clasp::Asp::LogicProgram
• freezeLevel() : Clasp::Solver
• freezeSeen() : Clasp::SatPreprocessor
• fRestart() : Clasp::ReduceParams
• fromIndex() : Clasp::Literal
• fromRep() : Clasp::Literal
• front() : Clasp::PodQueue< T >
• frozen() : Clasp::VarInfo , Clasp::Asp::PrgHead , Clasp::SharedContext , Clasp::ProgramBuilder
• frozenLevel() : Clasp::Solver
• full() : Clasp::SumQueue , Clasp::QueueImpl
• FwdCheck() : Clasp::SolveParams::FwdCheck