kitty
stable
Introduction
Installation
Change Log
Examples
Acknowledgments
Reference
Truth table data structures
Bit Operations
Algorithms
Constructors
Operations
Operators
Properties
Printing
Hash values
Implicants
Decomposition
Canonization
Enumeration
Cube data structure
Permutations
ESOP representations
ISOP representations
CNF representations
Type traits
Reference
kitty
Docs
»
Index
Edit on GitHub
Index
K
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::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]
,
[2]
,
[3]
,
[4]
,
[5]
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)
Read the Docs
v: stable
Versions
latest
stable
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.