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.
|
|
Computes a predicate based on three 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 1-bit in the truth table.
|