Here is a list of all namespace functions with links to the namespace documentation for each function:

- a -

• Abc9Execute() : rrr
• absolute_process_time() : CaDiCaL
• absolute_real_time() : CaDiCaL
• affiliations() : CaDiCaL
• align() : CaDiCaL
• aligned() : CaDiCaL
• assign_operation() : kitty
• authors() : CaDiCaL

- b -

• bign() : CaDiCaL
• binary_and() : kitty
• binary_operation() : kitty
• binary_or() : kitty
• binary_predicate() : kitty

- c -

• check_correct_ite_flags() : CaDiCaL
• check_ite_lits_normalized() : CaDiCaL
• clear_n() : CaDiCaL
• compiler() : CaDiCaL
• contained() : CaDiCaL
• copyright() : CaDiCaL
• create() : kitty
• create_nth_var() : kitty
• create_ref() : CaDiCaL
• CreateGia() : rrr
• current_refs_schedule() : CaDiCaL
• current_resident_set_size() : CaDiCaL
• current_schedule() : CaDiCaL

- d -

• date() : CaDiCaL

- e -

• erase_bins() : CaDiCaL
• erase_occs() : CaDiCaL
• erase_vector() : CaDiCaL
• extend_to() : kitty
• extend_to_inplace() : kitty

- f -

• fatal() : CaDiCaL
• fatal_message_end() : CaDiCaL
• fatal_message_start() : CaDiCaL
• flags() : CaDiCaL
• for_each_block() : kitty
• for_each_block_reversed() : kitty
• ForEachCombinationStopRec() : rrr

- g -

• gate_contains() : CaDiCaL
• GiaReader() : rrr

- h -

• has_prefix() : CaDiCaL
• has_suffix() : CaDiCaL
• has_var() : kitty
• hash_string() : CaDiCaL

- i -

• identifier() : CaDiCaL
• inc_lits() : CaDiCaL
• is_color_option() : CaDiCaL
• is_no_color_option() : CaDiCaL
• is_power_of_two() : CaDiCaL
• ite_flags_cond_lhs() : CaDiCaL
• ite_flags_neg_cond_lhs() : CaDiCaL
• ite_flags_no_else_clauses() : CaDiCaL
• ite_flags_no_then_clauses() : CaDiCaL

- l -

• less_litpair() : CaDiCaL

- m -

• maximum_resident_set_size() : CaDiCaL
• memUsed() : Gluco2, Gluco, Minisat
• memUsedPeak() : Gluco2, Gluco, Minisat
• mkLit() : Gluco2, Gluco, Minisat
• moveVecToVi() : Rewire

- n -

• non_tautological_cube() : CaDiCaL

- o -

• operator&() : kitty
• operator&=() : kitty
• operator<<() : rrr
• operator^() : Gluco2, Gluco, Minisat
• operator|() : kitty
• operator|=() : kitty
• operator~() : Gluco2, Gluco, kitty, Minisat

- p -

• parity() : CaDiCaL
• parity_lits() : CaDiCaL
• parse_int_str() : CaDiCaL
• parseOptions() : Gluco2, Gluco, Minisat
• percent() : CaDiCaL
• Perform() : rrr
• print_hex() : kitty
• PrintComplementedEdges() : rrr
• PrintNext() : rrr
• printUsageAndExit() : Gluco2, Gluco, Minisat

- r -

• randomAddBest() : Rewire
• randomRead() : Rewire
• randomReadExcept() : Rewire
• relative() : CaDiCaL
• remove_occs() : CaDiCaL
• remove_watch() : CaDiCaL
• rsort() : CaDiCaL

- s -

• selectionSort() : Gluco2, Gluco, Minisat
• set_vivifier_mode() : CaDiCaL
• setHelpPrefixStr() : Gluco2, Gluco, Minisat
• setUsageHelp() : Gluco2, Gluco, Minisat
• shrink_bins() : CaDiCaL
• shrink_occs() : CaDiCaL
• shrink_to() : kitty
• shrink_to_inplace() : kitty
• shrink_vector() : CaDiCaL
• sign() : CaDiCaL, Gluco2, Gluco, Minisat
• signature() : CaDiCaL
• sort() : Gluco2, Gluco, Minisat
• string_of_gate() : CaDiCaL
• swap_inplace() : kitty

- t -

• toInt() : Gluco2, Gluco, Minisat
• toLbool() : Gluco2, Gluco, Minisat
• toLit() : Gluco2, Gluco, Minisat

- u -

• unary_not() : kitty
• unary_not_if() : kitty
• unary_operation() : kitty
• update_ite_flags() : CaDiCaL
• update_watch_size() : CaDiCaL

- v -

• var() : Gluco2, Gluco, Minisat
• version() : CaDiCaL