- f -

• facts() : theoremprover.PropositionalTheoremProver
• FailureDepGraph() : dfengine.FailureDepGraph
• FailureDepNode() : dfengine.FailureDepNode
• fillActionsPanel() : dfengine.GuiHittingSets
• fillDepFaultPanel() : dfengine.GuiHittingSets
• fillFrame() : dfengine.GuiHittingSets
• fillResultPanel() : dfengine.GuiHittingSets
• fillSettingsPanel() : dfengine.GuiHittingSets
• findCandidateFor() : dfengine.RepairCandidates
• findCycle() : utils.DoubleLinkedDAG
• findCycle_Recursive() : utils.DoubleLinkedDAG
• FloatToken() : theoremprover.FloatToken
• focusGained() : dfengine.GuiHittingSets
• focusLost() : dfengine.GuiHittingSets
• foundNode() : utils.SearchNodeVisitor