DecompositionΒΆ
The header <kitty/decomposition.hpp>
implements methods to decompose
Boolean functions into smaller functions (beyond co-factoring, which is part
of the general operations).
Function
|
Description
|
---|---|
Checks, whether function is top disjoint decomposable.
|
|
|
Checks, whether function is bottom disjoint decomposable.
|
|
Checks, whether a function is Ashenhurst decomposable.
|
Finds all of the possible Ashenhurst decompositions of a function given an input partitioning.
|
|
Checks whether a function is bi-decomposable.
|
|
Checks whether a function is bi-decomposable using XOR as preferred operation.
|