- f -

• F : wali::wfa::WFA
• f : wali::wpds::Rule
• fCallee : wali::witness::WitnessMerge
• fCaller : wali::witness::WitnessMerge
• fdd_number : wali::relations::Component
• finalStates : opennwa::details::StateStorage
• first : wali::Quad< T, U, V, W > , wali::SemElemPair , wali::Triple< T, U, V >
• fourth : wali::Quad< T, U, V, W >
• fRule : wali::witness::WitnessMerge
• fs : wali::witness::RuleStub
• fstk : wali::witness::RuleStub
• fwrules : wali::wpds::Config