Add ISOP expression printing to print.hpp - Githubissues

msoeken / kitty

C++ truth table library

MIT License

50 stars 77 forks source link

Add ISOP expression printing to print.hpp #135

Closed brainkz closed 7 months ago

brainkz commented 8 months ago

SOP expressions are useful when constructing the GENLIB library for technology mapping. The functions print_sop_expression and to_sop_expression convert the complete truth table and produce the SOP expression, e.g., (b&c)|(a&c)|(a&b) for majority-3.

brainkz commented 7 months ago

Updated my pull request according to the requested changes:

No brackets around RHS bool brackets = __builtin_popcount( mask ) > 1;
Run clang-format to correct formatting, particularly: void print_sop_expression( TT tt, std::ostream& os = std::cout ) for ( auto cube : cubes ) if ( !first_cube )

Removed empty line before include

#include "algorithm.hpp"
#include "karnaugh_map.hpp"
#include "operations.hpp"
#include "constructors.hpp"
#include "isop.hpp"

Reverted changes in print.cpp