SD Classification - Githubissues

pulkitag22 commented 3 years ago

Added supporting files for self-dual* classification. This commit consist of functions

to evaluate the exact SD representative for a given truth table;
find out total number of functions in a particular variable numbered function. Similar to npn_enumeration.cpp (in ./examples/);
other supporting functions to calculate the SD equivalent;
test functions (in ./test/)

*Switching functions that become identical by self-dualization, non self-dualization, negation of variables or the function, or permutation of variables are called SD-equivalent.

msoeken commented 3 years ago

Hi @pulkitag22, thanks a lot for your contribution. Before I start the code review, would you mind running clang-format on your new source files. There is a .clang-format file in the repository with the formatting rules.

pulkitag22 commented 3 years ago

Hello @msoeken, updated the edits from clang-format. you can check now.

pulkitag22 commented 3 years ago

Hi @msoeken , I just noticed, I accidently made a few non-relevant commits on this branch instead of another branch. (the ones related to NPN Distribution).

Let me close this pull request and send out a clean pull request again.

Sorry for the inconvenience caused.

msoeken / kitty

SD Classification #118