Here is a list of all functions with links to the classes they belong to:

- f -

• factor() : CaDiCaL::Internal
• factor_mode() : CaDiCaL::Internal
• factor_occs_size() : CaDiCaL::factor_occs_size
• Factoring() : CaDiCaL::Factoring
• factorize_next() : CaDiCaL::Internal
• failed() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• failed_constraint() : CaDiCaL::External, CaDiCaL::Internal
• failed_literal() : CaDiCaL::Internal
• failing() : CaDiCaL::Internal
• fastclear() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• FileTracer() : CaDiCaL::FileTracer
• finalize() : CaDiCaL::Internal
• finalize_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• finalize_external_unit() : CaDiCaL::Proof
• finalize_unit() : CaDiCaL::Proof
• find_and_gate() : CaDiCaL::Internal
• find_and_lits() : CaDiCaL::Closure
• find_binary() : CaDiCaL::Closure
• find_binary_clause() : CaDiCaL::Internal
• find_clause() : CaDiCaL::Internal
• find_conditional_equivalences() : CaDiCaL::Closure
• find_conflict_level() : CaDiCaL::Internal
• find_definition() : CaDiCaL::Internal
• find_eager_representative() : CaDiCaL::Closure
• find_eager_representative_and_compress() : CaDiCaL::Closure
• find_eager_representative_lrat() : CaDiCaL::Closure
• find_equivalence() : CaDiCaL::Internal
• find_equivalences() : CaDiCaL::Closure
• find_first_and_gate() : CaDiCaL::Closure
• find_gate_clauses() : CaDiCaL::Internal
• find_gate_lits() : CaDiCaL::Closure
• find_if_then_else() : CaDiCaL::Internal
• find_ite_gate() : CaDiCaL::Closure
• find_large_xor_side_clause() : CaDiCaL::Closure
• find_lit_implication_second_literal() : CaDiCaL::Closure
• find_lrat_representative_with_marks() : CaDiCaL::Closure
• find_program() : CaDiCaL::File
• find_remaining_and_gate() : CaDiCaL::Closure
• find_representative() : CaDiCaL::Closure
• find_representative_and_compress() : CaDiCaL::Closure
• find_representative_and_compress_both() : CaDiCaL::Closure
• find_representative_lrat() : CaDiCaL::Closure
• find_subsuming_clause() : CaDiCaL::Closure
• find_ternary_clause() : CaDiCaL::Internal
• find_units() : CaDiCaL::Closure
• find_xor_gate() : CaDiCaL::Closure, CaDiCaL::Internal
• find_xor_lits() : CaDiCaL::Closure
• FindFanin() : rrr::AndNetwork
• finish_added_clause_with_id() : CaDiCaL::Internal
• first_factor() : CaDiCaL::Internal
• fixed() : CaDiCaL::External, CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Solver
• Flags() : CaDiCaL::Flags
• flags() : CaDiCaL::Internal
• flip() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• flip_backbone_literals() : CaDiCaL::Internal
• flip_partition_literals() : CaDiCaL::Internal
• flippable() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• flush() : CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FileTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::VeripbTracer
• flush_all_occs_and_watches() : CaDiCaL::Internal
• flush_clause() : CaDiCaL::Proof
• flush_elimfast_occs() : CaDiCaL::Internal
• flush_occs() : CaDiCaL::Internal
• flush_probes() : CaDiCaL::Internal
• flush_proof_trace() : CaDiCaL::Solver
• flush_trace() : CaDiCaL::Internal
• flush_unmatched_clauses() : CaDiCaL::Internal
• flush_vivification_schedule() : CaDiCaL::Internal
• flush_watches() : CaDiCaL::Internal
• flushing() : CaDiCaL::Internal
• force_backtrack() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• force_colors() : CaDiCaL::Terminal
• force_lrat() : CaDiCaL::Internal
• force_no_colors() : CaDiCaL::Terminal
• force_reset_on_exit() : CaDiCaL::Terminal
• ForEachFanin() : rrr::AndNetwork
• ForEachFaninIdx() : rrr::AndNetwork
• ForEachFanout() : rrr::AndNetwork
• ForEachFanoutRidx() : rrr::AndNetwork
• ForEachInt() : rrr::AndNetwork
• ForEachIntReverse() : rrr::AndNetwork
• ForEachPi() : rrr::AndNetwork
• ForEachPiIdx() : rrr::AndNetwork
• ForEachPiInt() : rrr::AndNetwork
• ForEachPo() : rrr::AndNetwork
• ForEachPoDriver() : rrr::AndNetwork
• ForEachTfi() : rrr::AndNetwork
• ForEachTfiEnd() : rrr::AndNetwork
• ForEachTfisUpdate() : rrr::AndNetwork
• ForEachTfiUpdate() : rrr::AndNetwork
• ForEachTfo() : rrr::AndNetwork
• ForEachTfoReverse() : rrr::AndNetwork
• ForEachTfos() : rrr::AndNetwork
• ForEachTfosUpdate() : rrr::AndNetwork
• ForEachTfoUpdate() : rrr::AndNetwork
• Format() : CaDiCaL::Format
• forward_false_satisfiable() : CaDiCaL::Internal
• forward_subsume_matching_clauses() : CaDiCaL::Closure
• forward_true_satisfiable() : CaDiCaL::Internal
• FratTracer() : CaDiCaL::FratTracer
• free() : CaDiCaL::DeferDeleteArray< T >, CaDiCaL::DeferDeletePtr< T >, eSLIM::Subcircuit
• free_() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >
• freeze() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• fromGia() : Rewire::Miaig
• fromMiniAig() : Rewire::Miaig
• front() : CaDiCaL::heap< C >
• frozen() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• fully_propagate() : CaDiCaL::Closure