- 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
• fastExit_ : ProgramOptions::Application
• fGrow : Clasp::ReduceParams
• fInit : Clasp::ReduceParams
• first : Clasp::Cli::ClaspCliConfig::ParseContext
• first_ : bk_lib::detail::Copy< Iter > , bk_lib::detail::Memcpy< T >
• fix_ : Clasp::UncoreMinimize
• flags : Clasp::DefaultUnfoundedCheck::ExtData , Clasp::ClaspFacade::Result
• flags_ : Clasp::ClauseCreator , Clasp::EnumerationConstraint , ProgramOptions::Value
• fMax : Clasp::ReduceParams
• follow_ : Clasp::Asp::Preprocessor
• format : Clasp::Cli::TextOutput
• formatter_ : ProgramOptions::OptionOutputImpl< Writer, Formatter >
• frame : Clasp::Cli::ClaspCliConfig::ParseContext
• frames_ : Clasp::DomainHeuristic
• fReduce : Clasp::ReduceStrategy
• free_ : bk_lib::detail::left_right_rep< L, R >
• freeList_ : Clasp::SmallClauseAlloc , Clasp::mt::MultiQueue< T, Deleter >
• freeLits_ : Clasp::ClaspBerkmin
• freeOpen_ : Clasp::UncoreMinimize
• freeOtherLits_ : Clasp::ClaspBerkmin
• freeze : Clasp::Solver::DLevel
• fRestart : Clasp::ReduceStrategy
• front : Clasp::ImpliedList , Clasp::Assignment
• front_ : Clasp::ClaspBerkmin , Clasp::ClaspVmtf
• frozen : Clasp::Asp::LogicProgram::Incremental , Clasp::SharedContext::Share
• frozen_ : Clasp::ProgramBuilder
• func : ProgramOptions::detail::Notifier< ParamT >
• fwd : Clasp::DefaultUnfoundedCheck::MinimalityCheck
• fwdCheck : Clasp::SolveParams