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

- f -

• falseGndings : SampledGndings , TrueFalseGndings
• file_ : ZZFileState
• fillLazyBlocks() : VariableState
• find() : Array< Type > , HashArray< Type, HashFn, EqualFn > , HashList< Type, HashFn, EqualFn >
• findClause() : MLN
• findClauseIdx() : MLN
• findListIterator() : HashList< Type, HashFn, EqualFn >
• fixAtom() : VariableState
• fixedSizeB_ : AuxClauseData
• flipAtom() : MaxWalkSat , VariableState
• flipAtomValue() : VariableState
• flipSensesInClause() : ClauseFactory
• flipValue() : Database
• flipVar() : LWInfo , LazyInfo
• formula : FormulaAndClauses , ZZFormulaInfo , ExistFormula
• FormulaAndClauses() : FormulaAndClauses
• FormulaClauseIndexes() : FormulaClauseIndexes
• formulaClauseIndexes : MLNClauseInfo
• formulaIndex : FormulaClauseIndexes
• formulaStr : ZZFormulaInfo
• fracConverged : GibbsParams
• FreeStoreManager() : FreeStoreManager
• front() : HashList< Type, HashFn, EqualFn >
• Function() : Function
• FunctionTemplate() : FunctionTemplate

---