- f -

• factorization() : carl
• factorizationsEqual() : carl
• factorizationToString() : carl
• findSymmetries() : carl::formula
• fits_within() : carl
• floor() : carl
• formulaTypeToString() : carl
• free_variables() : carl
• fresh_bitvector_variable() : carl
• fresh_boolean_variable() : carl
• fresh_integer_variable() : carl
• fresh_real_variable() : carl
• fresh_uninterpreted_variable() : carl
• fresh_variable() : carl
• from_int() : carl