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

- t -

• Terminal() : CaDiCaL::Terminal
• terminate() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, CaDiCaL::Terminator, CaDiCaL::Wrapper, eSLIM::CadicalSolver::TimeoutTerminator
• terminated_asynchronously() : CaDiCaL::Internal
• terminating_asked() : CaDiCaL::Internal
• ternary() : CaDiCaL::Internal
• ternary_find_binary_clause() : CaDiCaL::Internal
• ternary_find_ternary_clause() : CaDiCaL::Internal
• ternary_idx() : CaDiCaL::Internal
• ternary_lit() : CaDiCaL::Internal
• ternary_round() : CaDiCaL::Internal
• Testing() : CaDiCaL::Testing
• Then() : NewBdd::Man, rrr::NewBdd::Man
• ThenOfBvar() : NewBdd::Man, rrr::NewBdd::Man
• tick() : CaDiCaL::Reluctant
• tied_next_factor_score() : CaDiCaL::Internal
• time() : CaDiCaL::Internal
• TimeoutTerminator() : eSLIM::CadicalSolver::TimeoutTerminator
• toDimacs() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• toGia() : Rewire::Miaig
• toMiniAig() : Rewire::Miaig
• toNtk() : Rewire::Miaig
• trace() : CaDiCaL::Internal
• trace_proof() : CaDiCaL::Solver
• Tracer() : CaDiCaL::Tracer
• Transduction() : Transduction::Transduction< Man, Param, lit, LitMax >
• transred() : CaDiCaL::Internal
• traverse_all_frozen_units_as_clauses() : CaDiCaL::External
• traverse_all_non_frozen_units_as_witnesses() : CaDiCaL::External
• traverse_clauses() : CaDiCaL::Internal, CaDiCaL::Solver
• traverse_constraint() : CaDiCaL::Internal
• traverse_witnesses_backward() : CaDiCaL::External, CaDiCaL::Solver
• traverse_witnesses_forward() : CaDiCaL::External, CaDiCaL::Solver
• TrivialCollapse() : rrr::AndNetwork
• TrivialDecompose() : rrr::AndNetwork, Transduction::Transduction< Man, Param, lit, LitMax >
• trivially_false_satisfiable() : CaDiCaL::Internal
• trivially_true_satisfiable() : CaDiCaL::Internal
• TrivialMerge() : Transduction::Transduction< Man, Param, lit, LitMax >
• TruthTable() : Ttopt::TruthTable
• TruthTableCare() : Ttopt::TruthTableCare
• TruthTableLevelTSM() : Ttopt::TruthTableLevelTSM
• TruthTableReo() : Ttopt::TruthTableReo
• TruthTableRewrite() : Ttopt::TruthTableRewrite
• try_to_eliminate_variable() : CaDiCaL::Internal
• try_to_fasteliminate_variable() : CaDiCaL::Internal
• try_to_satisfy_formula_by_saved_phases() : CaDiCaL::Internal
• try_to_subsume_clause() : CaDiCaL::Internal
• TurnOffReo() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• TurnOnReo() : NewBdd::Man, rrr::NewBdd::Man