Here is a list of all class members with links to the classes they belong to:

- f -

• f : Clasp::Test::ClauseCreatorTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::WeightConstraintTest
• facade : Clasp::ClaspFacade::Summary , Clasp::ClaspFacade::StepStart
• factor : Clasp::DomScore
• facts_ : Clasp::SatElite::SatElite
• falsifyUfs() : Clasp::DefaultUnfoundedCheck
• fastExit_ : ProgramOptions::Application
• fetch_and_store() : no_multi_threading::atomic< T >
• fetch_if_neq() : Clasp::CBConsequences::SharedConstraint
• FFB_BTB : Clasp::WeightConstraint
• fGrow : Clasp::ReduceParams
• 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() : Clasp::SymbolTable , Clasp::Asp::NonHcfSet , Clasp::ImpliedList , ProgramOptions::OptionContext
• find_alias : ProgramOptions::OptionContext
• find_name : ProgramOptions::OptionContext
• find_name_or_prefix : ProgramOptions::OptionContext
• find_prefix : ProgramOptions::OptionContext
• 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
• FindType : ProgramOptions::OptionContext , ProgramOptions::ParseContext , ProgramOptions::OptionParser
• findUfs() : Clasp::DefaultUnfoundedCheck
• findUnmarkedLit() : Clasp::SatElite::SatElite
• fInit : Clasp::ReduceParams
• first : Clasp::Cli::ClaspCliConfig::ParseContext , Clasp::WeightConstraint::CPair
• first_ : bk_lib::detail::Copy< Iter > , bk_lib::detail::Memcpy< T >
• firstLiteral() : Clasp::Antecedent
• fix_ : Clasp::UncoreMinimize
• fixed() : Clasp::ScheduleStrategy
• fixLevel() : Clasp::UncoreMinimize
• fixLit() : Clasp::UncoreMinimize
• flag() : Clasp::VarInfo , ProgramOptions::Value
• FLAG : Clasp::VarInfo
• Flag : Clasp::SharedDependencyGraph::BodyNode , Clasp::EnumerationConstraint
• flag_has_delta : Clasp::SharedDependencyGraph::BodyNode
• flag_path_disjoint : Clasp::EnumerationConstraint
• flag_seen : Clasp::SharedDependencyGraph::BodyNode
• FlagAction() : ProgramOptions::FlagAction
• flags : Clasp::ClaspFacade::Result , Clasp::DefaultUnfoundedCheck::ExtData
• flags_ : Clasp::ClauseCreator , Clasp::EnumerationConstraint , ProgramOptions::Value
• flagSize() : Clasp::DefaultUnfoundedCheck::ExtData
• flush() : Clasp::Cli::WriteLemmas
• fMax : Clasp::ReduceParams
• follow_ : Clasp::Asp::Preprocessor
• force() : Clasp::Solver
• force_simplify : Clasp::Asp::PrgHead
• forEach() : Clasp::ShortImplicationsGraph
• Format : Clasp::Problem_t , Clasp::Cli::TextOutput
• format : Clasp::Cli::TextOutput , ProgramOptions::OptionGroup , ProgramOptions::DefaultFormat
• format2Type() : Clasp::Problem_t
• format_asp : Clasp::Cli::TextOutput
• format_aspcomp : Clasp::Cli::TextOutput
• format_pb09 : Clasp::Cli::TextOutput
• format_sat09 : Clasp::Cli::TextOutput
• formatter_ : ProgramOptions::OptionOutputImpl< Writer, Formatter >
• forwardSource() : Clasp::DefaultUnfoundedCheck
• forwardUnsource() : Clasp::DefaultUnfoundedCheck
• frame : Clasp::Cli::ClaspCliConfig::ParseContext
• Frame() : Clasp::DomainHeuristic::Frame
• frames_ : Clasp::DomainHeuristic
• FrameVec : Clasp::DomainHeuristic
• fReduce : Clasp::ReduceStrategy , Clasp::ReduceParams
• free() : Clasp::MinimizeBuilder::Weight , Clasp::Assignment , Clasp::SmallClauseAlloc
• free_ : bk_lib::detail::left_right_rep< L, R >
• freeLearntBytes() : Clasp::Solver
• FreeList() : Clasp::mt::MultiQueue< T, Deleter >::FreeList
• freeList_ : Clasp::mt::MultiQueue< T, Deleter > , Clasp::SmallClauseAlloc
• freeLits_ : Clasp::ClaspBerkmin
• freeMem() : Clasp::Solver
• freeName() : Clasp::SymbolTable
• freeOpen_ : Clasp::UncoreMinimize
• freeOtherLits_ : Clasp::ClaspBerkmin
• freeSmall() : Clasp::Solver
• freeze : Clasp::Solver::DLevel , Clasp::Asp::LogicProgram
• freezeLevel() : Clasp::Solver
• freezeSeen() : Clasp::SatPreprocessor
• fRestart() : Clasp::ReduceParams , Clasp::ReduceStrategy
• fromIndex() : Clasp::Literal
• fromRep() : Clasp::Literal
• front : Clasp::Assignment , Clasp::PodQueue< T > , Clasp::ImpliedList , Clasp::PodQueue< T >
• front_ : Clasp::ClaspBerkmin , Clasp::ClaspVmtf
• frozen : Clasp::SharedContext::Share
• FROZEN : Clasp::VarInfo
• frozen() : Clasp::ProgramBuilder , Clasp::Asp::LogicProgram::Incremental , Clasp::VarInfo , Clasp::SharedContext , Clasp::Asp::PrgHead
• frozen_ : Clasp::ProgramBuilder
• frozenLevel() : Clasp::Solver
• FTB_BFB : Clasp::WeightConstraint
• full() : Clasp::SumQueue , Clasp::QueueImpl
• full_eq : Clasp::Asp::Preprocessor
• func : ProgramOptions::detail::Notifier< ParamT >
• fwd : Clasp::DefaultUnfoundedCheck::MinimalityCheck
• fwdCheck : Clasp::SolveParams
• FwdCheck : Clasp::DefaultUnfoundedCheck::MinimalityCheck , Clasp::SolveParams::FwdCheck