AlgorithmsΒΆ
The header <kitty/algorithm.hpp>
implements several generic algorithms on truth tables.
Function

Description


Perform bitwise unary operation on truth table.


Perform bitwise binary operation on two truth tables.


Perform bitwise ternary operation on three truth tables.


Computes a predicate based on two truth tables.


Assign computed values to bits.


Iterates through each block of a truth table.


Iterates through each block of a truth table in reverse order.


Iterates through each 1bit in the truth table.
