Skip to content

Reed-Muller method

Знатнов Егор Павлович requested to merge reed-muller into main
  • fixed the code style
  • deleted Helper class, all the functions from it were moved to ReedMuller class
  • renamed "synthesize" to "setTT" and "funcToGNet" to "getGNet"
  • removed unnecessary includes
  • didn't add std::bitset (bitset takes size as a template argument, this is a constant value, but my class is working with functions of different numbers of variables, so bitset doesn't suit the design)
  • popcnt and to2 are moved to a private section
  • added tests
  • getGNet now can create a GNet from a kitty::dynamic_truth_table directly
  • methods apply and setTT are still public because they are needed in tests
  • tests now don't work with to2 method, the method was replaced by std::bitset (it is not possible to replace to2 with std::bitset entirely because this class has a template parameter that is supposed to be known at compile time, but my class supports functions of different number of variables)

Merge request reports