- f -

• fanins : SAT::CNF_Manager::Varinfo
• fanouts : SAT::CNF_Manager::Varinfo
• fd : std::fdinbuf , std::fdoutbuf
• fileName : CVC3::ParserTemp
• finish_cpu_time : CSolverStats
• finish_world_time : CSolverStats
• fixedMaxCoefficient : CVC3::TheoryArith3 , CVC3::TheoryArithOld
• formula_i : LFSCObj
• formulaAtomLowerBound : CVC3::TheoryArithOld
• formulaAtoms : CVC3::TheoryArithOld
• formulaAtomUpperBound : CVC3::TheoryArithOld
• freshVariables : CVC3::TheoryArithNew