- i -

• imax() : Minisat::vec< T >
• implied() : Minisat::SimpSolver
• increase() : Minisat::Heap< Comp >
• index() : Minisat::Map< K, D, H, E >
• inHeap() : Minisat::Heap< Comp >
• init() : Minisat::OccLists< Idx, Vec, Deleted >
• insert() : Minisat::CMap< T > , Minisat::Heap< Comp > , Minisat::Map< K, D, H, E > , Minisat::Queue< T >
• insertVarOrder() : Minisat::Solver
• Int64Range() : Minisat::Int64Range
• interrupt() : Minisat::Solver
• IntOption() : Minisat::IntOption
• IntRange() : Minisat::IntRange
• irand() : Minisat::Solver
• is_done() : pyabc_split._splitter
• isEliminated() : Minisat::SimpSolver