EnumerationΒΆ
The header <kitty/enumeration.hpp>
implements methods to enumerate
Boolean function representatives based on canonization functions.
Function
|
Description
|
---|---|
Enumerate all representatives using 1-neighborhood search.
|
The header <kitty/enumeration.hpp>
implements methods to enumerate
Boolean function representatives based on canonization functions.
Function
|
Description
|
---|---|
Enumerate all representatives using 1-neighborhood search.
|