Here is a list of all struct and union fields with links to the structures/unions they belong to:

### - f -

- fail() : CVC4::Command
- falseExpr() : CVC3::ValidityChecker
- find() : CVC4::Record, CVC4::String
- fitsSignedInt() : CVC4::Integer
- fitsUnsignedInt() : CVC4::Integer
- flipDecision() : CVC4::theory::TestOutputChannel
- floor() : CVC4::Rational
- floor_frac() : CVC4::Rational
- floorDivideQuotient() : CVC4::Integer
- floorDivideRemainder() : CVC4::Integer
- floorQR() : CVC4::Integer
- flushInformation() : CVC4::StatisticsBase
- forallExpr() : CVC3::ValidityChecker
- forceLogic() : CVC4::parser::Parser
- fromDecimal() : CVC4::Rational
- fromDouble() : CVC4::Rational
- fromPickle() : CVC4::expr::pickle::Pickler
- full() : CVC4::SharedChannel< T >, CVC4::SynchronizedSharedChannel< T >
- FunctionType() : CVC4::FunctionType
- funExpr() : CVC3::ValidityChecker
- funType() : CVC3::Type, CVC3::ValidityChecker