Properties¶
The header <kitty/properties.hpp>
implements functions compute function
properties.
Function
|
Description
|
---|---|
Returns the Chow parameter of a function The Chow parameters is a set of values
|
|
Generate runlength encoding of a function This function iterates through the bits of a function and calls a function for each runlength and value. For example, if this function is called for the AND function 1000, it will call
|
|
Checks whether a function is canalizing.
|
|
Checks whether a function is Horn A function is Horn, if it can be represented using Horn clauses.
|
|
Checks whether a function is Krom A function is Krom, if it can be represented using Krom clauses.
|
|
Checks whether a function is monotone A function is monotone if f(x) ≤ f(y) whenever x ⊆ y.
|
|
Checks if a function is normal A function is normal iff f(0, …, 0) = 0.
|
|
Checks whether a function is selfdual A function is selfdual if !f(x, y, …, z) = f(!x, !y, …, !z)
|
|
Checks whether a function is symmetric in a pair of variables A function is symmetric in two variables, if it is invariant to swapping them.
|
|
Checks if a function is trivial A function is trival if it is equal to (or the complement of) a variable or constant zero.
|
|
Returns the runlength encoding pattern of a function This function does only count the lengths, e.g., for 1000 it will return
|
|
Compute polynomial degree The polyomial degree is the number of variables in the largest monomial in the functoons ANF (PPRM).
|
|
Returns the relative distinguishing power of a function wrt. to a target function Quantifies the number of distinguishing bit pairs in the target function that can be distinguished by another function.
|
|
Return true iff each distinguishing bit pair of the target function is also distinguishable by the divisor functions.
|