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

- i -

• IdrupTracer() : CaDiCaL::IdrupTracer
• implied() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• Imply() : Ttopt::TruthTable
• import_lazy_and_find_eager_representative_and_compress_both() : CaDiCaL::Closure
• in_mode() : CaDiCaL::Internal
• Inc() : CaDiCaL::Inc
• Include() : Ttopt::TruthTableCare
• incomplete_variables() : CaDiCaL::Internal
• inconsistent() : CaDiCaL::Solver
• increase() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• increase_elimination_bound() : CaDiCaL::Internal
• IncRef() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man, Transduction::ManUtil< Man, lit, LitMax >
• index_gate() : CaDiCaL::Closure
• ineliminating() : CaDiCaL::Internal
• inHeap() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• init() : CaDiCaL::External, CaDiCaL::Format, eSLIM::KissatSolver, Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >, Reap
• init_and_gate_extraction() : CaDiCaL::Closure
• init_averages() : CaDiCaL::Internal
• init_backbone_and_partition() : CaDiCaL::Internal
• init_bins() : CaDiCaL::Internal
• init_citten() : CaDiCaL::Internal
• init_closure() : CaDiCaL::Closure
• init_enqueue() : CaDiCaL::Internal
• init_ite_gate_extraction() : CaDiCaL::Closure
• init_noccs() : CaDiCaL::Internal
• init_occs() : CaDiCaL::Internal
• init_preprocessing_limits() : CaDiCaL::Internal
• init_probehbr_lrat() : CaDiCaL::Internal
• init_queue() : CaDiCaL::Internal
• init_report_limits() : CaDiCaL::Internal
• init_scores() : CaDiCaL::Internal
• init_search_limits() : CaDiCaL::Internal
• init_sweeper() : CaDiCaL::Internal
• init_vars() : CaDiCaL::Internal
• init_watches() : CaDiCaL::Internal
• init_xor_gate_extraction() : CaDiCaL::Closure
• initNbInitialVars() : Gluco2::Solver, Gluco::Solver
• initSize() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• inplace_sort() : Gluco2::Solver
• inprobe() : CaDiCaL::Internal
• inprobing() : CaDiCaL::Internal
• Insert() : NewBdd::Cache, rrr::AndNetwork, rrr::LevelBasePartitioner< Ntk >, rrr::NewBdd::Cache, rrr::Partitioner< Ntk >
• insert() : Gluco2::CMap< T >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco2::Map< K, D, H, E >, Gluco2::Queue< T >, Gluco::CMap< T >, Gluco::Heap< Comp >, Gluco::Map< K, D, H, E >, Gluco::Queue< T >, Minisat::CMap< T >, Minisat::Heap< Comp >, Minisat::Map< K, D, H, E >, Minisat::Queue< T >
• insertVarOrder() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• inst_assign() : CaDiCaL::Internal
• inst_propagate() : CaDiCaL::Internal
• instantiate() : CaDiCaL::Internal
• instantiate_candidate() : CaDiCaL::Internal
• Int64Option() : Gluco2::Int64Option, Gluco::Int64Option
• Int64Range() : Gluco2::Int64Range, Gluco::Int64Range, Minisat::Int64Range
• Internal() : CaDiCaL::Internal
• internal() : CaDiCaL::Testing
• internalize() : CaDiCaL::External
• InternalTracer() : CaDiCaL::InternalTracer
• interpret() : Gluco2::Solver
• interrupt() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• Intersect() : Ttopt::TruthTableCare
• IntOption() : Gluco2::IntOption, Gluco::IntOption, Minisat::IntOption
• IntRange() : Gluco2::IntRange, Gluco::IntRange, Minisat::IntRange
• inverse() : CaDiCaL::Terminal
• irand() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• irredundant() : CaDiCaL::Internal, CaDiCaL::Solver
• is_autarky_literal() : CaDiCaL::Internal
• is_binary_clause() : CaDiCaL::Internal
• is_blocked_clause() : CaDiCaL::Internal
• is_clause() : CaDiCaL::Internal
• is_conditional_literal() : CaDiCaL::Internal
• is_decision() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• is_external_forgettable() : CaDiCaL::Internal
• is_in_candidate_clause() : CaDiCaL::Internal
• is_preprocessing_option() : CaDiCaL::Options, CaDiCaL::Solver
• is_valid_configuration() : CaDiCaL::Solver
• is_valid_input() : CaDiCaL::External
• is_valid_limit() : CaDiCaL::Internal, CaDiCaL::Solver
• is_valid_long_option() : CaDiCaL::Solver
• is_valid_option() : CaDiCaL::Solver
• is_witness() : CaDiCaL::External
• isAND() : Gluco2::Solver
• IsConst0() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• IsConst1() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• IsDC() : Ttopt::TruthTableCare
• isEliminated() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• IsEq() : Ttopt::TruthTable
• isGateCRef() : Gluco2::Solver
• IsInt() : rrr::AndNetwork
• isJReason() : Gluco2::Solver
• IsPi() : rrr::AndNetwork
• IsPo() : rrr::AndNetwork
• IsPoDriver() : rrr::AndNetwork
• IsReachable() : rrr::AndNetwork
• IsReconvergent() : rrr::AndNetwork
• isRoundWatch() : Gluco2::Solver
• isSelector() : Gluco2::Solver, Gluco::Solver
• isTwoFanin() : Gluco2::Solver
• isvalid() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• iterate() : CaDiCaL::Internal
• IthVar() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• ival() : CaDiCaL::External