Here is a list of all documented class members with links to the class documentation for each member:

- f -

• Factor() : Factor
• FactorGraph() : FactorGraph
• factorial() : Util
• factorMsgs_ : Factor
• falseClause_ : HVariableState
• falseClauseLow_ : HVariableState
• falseGndings : SampledGndings , TrueFalseGndings
• Feature() : Feature
• featureArray_ : RRF
• featureTemplate_ : RecursiveGroundFeature
• file_ : ZZFileState
• find() : Array< Type > , HashArray< Type, HashFn, EqualFn > , HashList< Type, HashFn, EqualFn >
• findClause() : MLN
• findClauseIdx() : MLN
• findListIterator() : HashList< Type, HashFn, EqualFn >
• firstDerivative() : LogSigMoid
• fixAtom() : HVariableState , VariableState
• fixedAtom_ : HVariableState
• fixedSizeB_ : AuxClauseData
• flipAtom() : VariableState , HMaxWalkSat , MaxWalkSat , HVariableState
• flipAtomValue() : HVariableState , VariableState
• flipSensesInClause() : ClauseFactory
• flipValue() : Database
• formula : ExistFormula , FormulaAndClauses , ZZFormulaInfo
• FormulaAndClauses() : FormulaAndClauses
• formulaClauseIndexes : MLNClauseInfo
• FormulaClauseIndexes() : FormulaClauseIndexes
• formulaIndex : FormulaClauseIndexes
• formulaStr : ZZFormulaInfo
• fracConverged : GibbsParams
• front() : HashList< Type, HashFn, EqualFn >
• Function() : Function
• FunctionTemplate() : FunctionTemplate
• funcValue() : LogSigMoid

---