Permutations

The header <kitty/permutation.hpp> implements permutation algorithms to be used with truth tables.

Function	Description
delta_swap_inplace(tt, delta, omega)	Applies delta-swap operation.
delta_swap(tt, delta, omega)	Applies delta-swap operation.
permute_with_masks_inplace(tt, masks)	Permutes a truth table using a sequence of delta-swaps.
permute_with_masks(tt, masks)	Permutes a truth table using a sequence of delta-swaps.
compute_permutation_masks(tt, permutation)	Computes permutation bitmasks.