operations.rst

Operations

The header <kitty/operations.hpp> implements several operations on truth tables.

Generic operations

.. doc_brief_table::
   unary_operation
   binary_operation
   ternary_operation
   binary_predicate
   assign_operation

Predicates

.. doc_brief_table::
   equal
   less_than
   has_var
   is_const0

Combination and manipulation

.. doc_brief_table::
   unary_not
   binary_and
   binary_or
   binary_xor
   ternary_ite
   ternary_majority
   next_inplace
   next
   cofactor0_inplace
   cofactor0
   cofactor1_inplace
   cofactor1
   swap_inplace
   swap
   swap_adjacent_inplace
   swap_adjacent
   flip_inplace
   flip