Index

K

kitty (C++ type) kitty::absolute_distinguishing_power (C++ function) kitty::anf_to_expression (C++ function), [1] kitty::ashenhurst_decomposition (C++ function) kitty::assign_operation (C++ function) kitty::autocorrelation_spectrum (C++ function) kitty::bi_decomposition (C++ enum) kitty::bi_decomposition::and_ (C++ enumerator) kitty::bi_decomposition::none (C++ enumerator) kitty::bi_decomposition::or_ (C++ enumerator) kitty::bi_decomposition::weak_and_ (C++ enumerator) kitty::bi_decomposition::weak_or_ (C++ enumerator) kitty::bi_decomposition::xor_ (C++ enumerator) kitty::binary_and (C++ function), [1], [2] kitty::binary_operation (C++ function) kitty::binary_or (C++ function), [1], [2] kitty::binary_predicate (C++ function) kitty::binary_xor (C++ function), [1], [2] kitty::bottom_decomposition (C++ enum) kitty::bottom_decomposition::and_ (C++ enumerator) kitty::bottom_decomposition::le_ (C++ enumerator) kitty::bottom_decomposition::lt_ (C++ enumerator) kitty::bottom_decomposition::none (C++ enumerator) kitty::bottom_decomposition::or_ (C++ enumerator) kitty::bottom_decomposition::xor_ (C++ enumerator) kitty::chow_parameters (C++ function) kitty::clear_bit (C++ function) kitty::cnf_characteristic (C++ function) kitty::cofactor0 (C++ function) kitty::cofactor0_inplace (C++ function), [1], [2] kitty::cofactor1 (C++ function) kitty::cofactor1_inplace (C++ function), [1], [2] kitty::compose_truth_table (C++ function), [1], [2] kitty::compute_permutation_masks (C++ function) kitty::count_ones (C++ function) kitty::count_zeros (C++ function) kitty::create (C++ function) kitty::create_characteristic (C++ function) kitty::create_equals (C++ function) kitty::create_from_binary_string (C++ function) kitty::create_from_chain (C++ function), [1] kitty::create_from_clauses (C++ function) kitty::create_from_cubes (C++ function) kitty::create_from_expression (C++ function), [1] kitty::create_from_formula (C++ function) kitty::create_from_hex_string (C++ function) kitty::create_from_npn_config (C++ function) kitty::create_from_raw (C++ function) kitty::create_from_spp (C++ function) kitty::create_from_words (C++ function) kitty::create_majority (C++ function) kitty::create_multiple_from_chain (C++ function), [1] kitty::create_nth_var (C++ function) kitty::create_parity (C++ function) kitty::create_prime (C++ function) kitty::create_random (C++ function), [1] kitty::create_symmetric (C++ function) kitty::create_threshold (C++ function) kitty::cube (C++ class), [1] kitty::cube::add_literal (C++ function) kitty::cube::clear_bit (C++ function) kitty::cube::clear_mask (C++ function) kitty::cube::cube (C++ function), [1], [2] kitty::cube::difference (C++ function) kitty::cube::distance (C++ function) kitty::cube::flip_bit (C++ function) kitty::cube::flip_mask (C++ function) kitty::cube::foreach_minterm (C++ function) kitty::cube::get_bit (C++ function) kitty::cube::get_mask (C++ function) kitty::cube::merge (C++ function) kitty::cube::neg_cube (C++ function) kitty::cube::nth_var_cube (C++ function) kitty::cube::num_literals (C++ function) kitty::cube::operator!= (C++ function) kitty::cube::operator< (C++ function) kitty::cube::operator== (C++ function) kitty::cube::operator~ (C++ function) kitty::cube::pos_cube (C++ function) kitty::cube::print (C++ function) kitty::cube::remove_literal (C++ function) kitty::cube::set_bit (C++ function) kitty::cube::set_mask (C++ function) kitty::delta_swap (C++ function) kitty::delta_swap_inplace (C++ function) kitty::detail (C++ type) kitty::detail::anf_spectrum (C++ struct) kitty::detail::compute_permutation_masks_pair (C++ function) kitty::detail::enumerate_zs_index (C++ function) kitty::detail::exact_spectral_canonization_null_callback (C++ function) kitty::detail::fast_hadamard_transform (C++ function) kitty::detail::formula_execute_operation (C++ function) kitty::detail::get_rw_coeffecient_order (C++ function) kitty::detail::miller_spectral_canonization_impl (C++ class) kitty::detail::print_xmas_tree (C++ function) kitty::detail::spectral_operation (C++ struct) kitty::detail::spectral_repr (C++ member) kitty::detail::spectrum (C++ class) kitty::detail::to_binary (C++ function) kitty::dynamic_truth_table (C++ struct), [1] kitty::dynamic_truth_table::begin (C++ function), [1] kitty::dynamic_truth_table::cbegin (C++ function) kitty::dynamic_truth_table::cend (C++ function) kitty::dynamic_truth_table::construct (C++ function) kitty::dynamic_truth_table::crbegin (C++ function) kitty::dynamic_truth_table::crend (C++ function) kitty::dynamic_truth_table::dynamic_truth_table (C++ function), [1] kitty::dynamic_truth_table::end (C++ function), [1] kitty::dynamic_truth_table::mask_bits (C++ function) kitty::dynamic_truth_table::num_bits (C++ function) kitty::dynamic_truth_table::num_blocks (C++ function) kitty::dynamic_truth_table::num_vars (C++ function) kitty::dynamic_truth_table::operator= (C++ function) kitty::dynamic_truth_table::rbegin (C++ function) kitty::dynamic_truth_table::rend (C++ function) kitty::equal (C++ function), [1], [2] kitty::esop_from_optimum_pkrm (C++ function) kitty::esop_from_pprm (C++ function) kitty::esop_from_pprm_slow (C++ function) kitty::exact_affine_canonization (C++ function) kitty::exact_affine_output_canonization (C++ function) kitty::exact_linear_canonization (C++ function) kitty::exact_linear_output_canonization (C++ function) kitty::exact_n_canonization (C++ function) kitty::exact_n_canonization_complete (C++ function) kitty::exact_n_enumeration (C++ function) kitty::exact_np_enumeration (C++ function) kitty::exact_npn_canonization (C++ function) kitty::exact_p_canonization (C++ function) kitty::exact_p_enumeration (C++ function) kitty::exact_spectral_canonization (C++ function) kitty::exact_spectral_canonization_limit (C++ function) kitty::expand_inplace (C++ function) kitty::extend_to (C++ function), [1], [2], [3] kitty::extend_to_inplace (C++ function), [1], [2] kitty::find_first_bit_difference (C++ function) kitty::find_first_one_bit (C++ function) kitty::find_last_bit_difference (C++ function) kitty::find_last_one_bit (C++ function) kitty::flip (C++ function) kitty::flip_bit (C++ function), [1] kitty::flip_inplace (C++ function), [1], [2] kitty::flip_swap_npn_canonization (C++ function) kitty::for_each_block (C++ function) kitty::for_each_block_reversed (C++ function) kitty::for_each_one_bit (C++ function) kitty::foreach_runlength (C++ function) kitty::fuller_neighborhood_enumeration (C++ function) kitty::get_bit (C++ function) kitty::get_jbuddies (C++ function) kitty::get_minterms (C++ function) kitty::get_prime_implicants_morreale (C++ function), [1] kitty::get_spectral_class (C++ function) kitty::has_var (C++ function), [1], [2] kitty::hash (C++ struct) kitty::hash<cube> (C++ struct) kitty::hash_block (C++ function) kitty::hash_combine (C++ function) kitty::hybrid_exact_spectral_canonization (C++ function) kitty::implies (C++ function), [1], [2] kitty::intersection_is_empty (C++ function), [1]

kitty::is_ashenhurst_decomposable (C++ function) kitty::is_bi_decomposable (C++ function) kitty::is_bi_decomposable_mc (C++ function) kitty::is_bottom_decomposable (C++ function) kitty::is_canalizing (C++ function) kitty::is_complete_truth_table (C++ struct) kitty::is_completely_specified_truth_table (C++ struct) kitty::is_const0 (C++ function) kitty::is_covered_with_divisors (C++ function) kitty::is_horn (C++ function) kitty::is_krom (C++ function) kitty::is_monotone (C++ function) kitty::is_normal (C++ function) kitty::is_selfdual (C++ function) kitty::is_symmetric_in (C++ function) kitty::is_top_decomposable (C++ function) kitty::is_trivial (C++ function) kitty::is_truth_table (C++ struct) kitty::isop (C++ function) kitty::karnaugh_map (C++ class) kitty::less_than (C++ function), [1], [2] kitty::min_base_inplace (C++ function) kitty::mux_var (C++ function), [1], [2] kitty::next (C++ function) kitty::next_inplace (C++ function), [1], [2] kitty::nth_var (C++ function) kitty::operator!= (C++ function), [1], [2], [3], [4] kitty::operator& (C++ function), [1], [2], [3], [4] kitty::operator&= (C++ function), [1], [2], [3], [4] kitty::operator< (C++ function), [1], [2], [3], [4] kitty::operator<< (C++ function), [1], [2], [3], [4] kitty::operator<<= (C++ function), [1], [2], [3], [4] kitty::operator== (C++ function), [1], [2], [3], [4] kitty::operator>> (C++ function), [1], [2], [3], [4] kitty::operator>>= (C++ function), [1], [2], [3], [4] kitty::operator^ (C++ function), [1], [2], [3], [4] kitty::operator^= (C++ function), [1], [2], [3], [4] kitty::operator| (C++ function), [1], [2], [3], [4] kitty::operator|= (C++ function), [1], [2], [3], [4] kitty::operator~ (C++ function), [1], [2], [3], [4] kitty::partial_truth_table (C++ struct), [1] kitty::partial_truth_table::add_bit (C++ function) kitty::partial_truth_table::add_bits (C++ function), [1] kitty::partial_truth_table::begin (C++ function), [1] kitty::partial_truth_table::cbegin (C++ function) kitty::partial_truth_table::cend (C++ function) kitty::partial_truth_table::construct (C++ function) kitty::partial_truth_table::copy_bit (C++ function) kitty::partial_truth_table::crbegin (C++ function) kitty::partial_truth_table::crend (C++ function) kitty::partial_truth_table::end (C++ function), [1] kitty::partial_truth_table::erase_bit_shift (C++ function) kitty::partial_truth_table::erase_bit_swap (C++ function) kitty::partial_truth_table::mask_bits (C++ function) kitty::partial_truth_table::num_bits (C++ function) kitty::partial_truth_table::num_blocks (C++ function) kitty::partial_truth_table::operator= (C++ function) kitty::partial_truth_table::partial_truth_table (C++ function), [1] kitty::partial_truth_table::rbegin (C++ function) kitty::partial_truth_table::rend (C++ function) kitty::partial_truth_table::resize (C++ function) kitty::permute_with_masks (C++ function) kitty::permute_with_masks_inplace (C++ function) kitty::polynomial_degree (C++ function) kitty::print_binary (C++ function), [1], [2] kitty::print_cubes (C++ function) kitty::print_hex (C++ function) kitty::print_kmap (C++ function) kitty::print_raw (C++ function) kitty::print_spectrum (C++ function) kitty::print_xmas_tree_for_function (C++ function) kitty::print_xmas_tree_for_functions (C++ function) kitty::quaternary_operation (C++ function) kitty::quaternary_truth_table (C++ struct), [1] kitty::quaternary_truth_table::begin_offset (C++ function), [1] kitty::quaternary_truth_table::begin_onset (C++ function), [1] kitty::quaternary_truth_table::cbegin_offset (C++ function) kitty::quaternary_truth_table::cbegin_onset (C++ function) kitty::quaternary_truth_table::cend_offset (C++ function) kitty::quaternary_truth_table::cend_onset (C++ function) kitty::quaternary_truth_table::construct (C++ function) kitty::quaternary_truth_table::crbegin_offset (C++ function) kitty::quaternary_truth_table::crbegin_onset (C++ function) kitty::quaternary_truth_table::crend_offset (C++ function) kitty::quaternary_truth_table::crend_onset (C++ function) kitty::quaternary_truth_table::end_offset (C++ function), [1] kitty::quaternary_truth_table::end_onset (C++ function), [1] kitty::quaternary_truth_table::mask_bits (C++ function) kitty::quaternary_truth_table::num_bits (C++ function) kitty::quaternary_truth_table::num_blocks (C++ function) kitty::quaternary_truth_table::num_vars (C++ function) kitty::quaternary_truth_table::operator= (C++ function), [1] kitty::quaternary_truth_table::quaternary_truth_table (C++ function), [1], [2], [3] kitty::quaternary_truth_table::rbegin_offset (C++ function) kitty::quaternary_truth_table::rbegin_onset (C++ function) kitty::quaternary_truth_table::rend_offset (C++ function) kitty::quaternary_truth_table::rend_onset (C++ function) kitty::rademacher_walsh_spectrum (C++ function) kitty::relative_distinguishing_power (C++ function) kitty::runlength_pattern (C++ function) kitty::set_bit (C++ function) kitty::shift_left (C++ function) kitty::shift_left_inplace (C++ function), [1], [2] kitty::shift_right (C++ function) kitty::shift_right_inplace (C++ function), [1], [2] kitty::shift_with_mask (C++ function) kitty::shift_with_mask_inplace (C++ function), [1], [2] kitty::shrink_to (C++ function), [1], [2], [3] kitty::shrink_to_inplace (C++ function), [1], [2] kitty::sifting_npn_canonization (C++ function) kitty::sifting_p_canonization (C++ function) kitty::simple_spp (C++ function) kitty::spectral_representative (C++ function) kitty::spectrum_distribution (C++ function) kitty::static_truth_table (C++ struct), [1] kitty::static_truth_table<NumVars, false> (C++ struct) kitty::static_truth_table<NumVars, true> (C++ struct) kitty::swap (C++ function) kitty::swap_adjacent (C++ function) kitty::swap_adjacent_inplace (C++ function), [1], [2] kitty::swap_inplace (C++ function), [1], [2] kitty::ternary_ite (C++ function), [1], [2] kitty::ternary_majority (C++ function), [1], [2] kitty::ternary_operation (C++ function) kitty::ternary_predicate (C++ function) kitty::ternary_truth_table (C++ struct), [1] kitty::ternary_truth_table::begin_bits (C++ function), [1] kitty::ternary_truth_table::begin_care (C++ function), [1] kitty::ternary_truth_table::cbegin_bits (C++ function) kitty::ternary_truth_table::cbegin_care (C++ function) kitty::ternary_truth_table::cend_bits (C++ function) kitty::ternary_truth_table::cend_care (C++ function) kitty::ternary_truth_table::construct (C++ function) kitty::ternary_truth_table::crbegin_bits (C++ function) kitty::ternary_truth_table::crbegin_care (C++ function) kitty::ternary_truth_table::crend_bits (C++ function) kitty::ternary_truth_table::crend_care (C++ function) kitty::ternary_truth_table::end_bits (C++ function), [1] kitty::ternary_truth_table::end_care (C++ function), [1] kitty::ternary_truth_table::mask_bits (C++ function) kitty::ternary_truth_table::num_bits (C++ function) kitty::ternary_truth_table::num_blocks (C++ function) kitty::ternary_truth_table::num_vars (C++ function) kitty::ternary_truth_table::operator= (C++ function), [1] kitty::ternary_truth_table::rbegin_bits (C++ function) kitty::ternary_truth_table::rbegin_care (C++ function) kitty::ternary_truth_table::rend_bits (C++ function) kitty::ternary_truth_table::rend_care (C++ function) kitty::ternary_truth_table::ternary_truth_table (C++ function), [1], [2], [3] kitty::to_binary (C++ function) kitty::to_hex (C++ function) kitty::top_decomposition (C++ enum) kitty::top_decomposition::and_ (C++ enumerator) kitty::top_decomposition::le_ (C++ enumerator) kitty::top_decomposition::lt_ (C++ enumerator) kitty::top_decomposition::none (C++ enumerator) kitty::top_decomposition::or_ (C++ enumerator) kitty::top_decomposition::xor_ (C++ enumerator) kitty::unary_not (C++ function), [1], [2] kitty::unary_not_if (C++ function) kitty::unary_operation (C++ function)