CanonizationΒΆ
The header <kitty/npn.hpp>
implements NPN canonization algorithms.
Function
|
Description
|
---|---|
Exact NPN canonization.
|
|
Exact P canonization.
|
|
Exact N canonization.
|
|
Flip-swap NPN heuristic.
|
|
Sifting NPN heuristic.
|
|
Exact NP enumeration.
|
|
Exact P enumeration.
|
|
Exact N enumeration.
|
|
Exact N canonization complete.
|
|
Obtain truth table from NPN configuration.
|
The header <kitty/spectral.hpp>
implements canonization algorithms
based on spectral transformations.
Function
|
Description
|
---|---|
Exact spectral canonization.
|
|
Exact spectral canonization (with recursion limit)
|
|
Exact spectral canonization (with Reed-Muller preprocessor)
|
|
Print spectral representation of a function in RW order.
|
|
Returns the Rademacher-Walsh spectrum of a truth table.
|
|
Returns the autocorrelation spectrum of a truth table.
|
|
Returns distribution of absolute spectrum coefficients.
|
|
Returns unique index for a spectral equivalence class.
|
|
Returns spectral representative using lookup.
|
The header <kitty/affine.hpp>
implements canonization algorithms based on
linear and affine transformations.
Function
|
Description
|
---|---|
Applies exact linear classification.
|
|
Applies exact linear classification and output negation.
|
|
Applies exact affine classification.
|
|
Applies exact affine classification and output negation.
|