Here is a list of all namespace members with links to the namespace documentation for each member:

- i -

• identifier() : CaDiCaL
• inc_lits() : CaDiCaL
• INCONCLUSIVE : CaDiCaL
• INITIALIZING : CaDiCaL
• INSERT : rrr
• INVALID : CaDiCaL
• invalid_heap_position : CaDiCaL
• is_color_option() : CaDiCaL
• is_no_color_option() : CaDiCaL
• is_power_of_two() : CaDiCaL
• ITE : CaDiCaL
• ite_flags_cond_lhs() : CaDiCaL
• ite_flags_neg_cond_lhs() : CaDiCaL
• ite_flags_no_else_clauses() : CaDiCaL
• ite_flags_no_then_clauses() : CaDiCaL