cover-network

[costamag]

• created cover network data structure
• created cover to graph converter
• modified blif reader to read as cover network
• modified traits for having the has_cover_node_v check

[codecov-commenter]

Codecov Report

Merging #512 (8247722) into master (c4e50f0) will increase coverage by 0.24%. The diff coverage is 95.97%.

@@            Coverage Diff             @@
##           master     #512      +/-   ##
==========================================
+ Coverage   82.52%   82.76%   +0.24%     
==========================================
  Files         146      148       +2     
  Lines       18207    18538     +331     
==========================================
+ Hits        15025    15343     +318     
- Misses       3182     3195      +13     

Impacted Files	Coverage Δ
include/mockturtle/networks/klut.hpp	92.25% <ø> (ø)
include/mockturtle/networks/storage.hpp	100.00% <ø> (+2.77%)	:arrow_up:
include/mockturtle/algorithms/cover_to_graph.hpp	94.87% <94.87%> (ø)
include/mockturtle/networks/cover.hpp	96.23% <96.23%> (ø)
include/mockturtle/io/blif_reader.hpp	94.16% <96.42%> (-0.18%)	:arrow_down:

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update c4e50f0...8247722. Read the comment docs.

[costamag]

Hello, I updated the code to take into account the changes required. Now the simulations interfaces are present. In addition, this code allows defining a node both from a cover and from a truth table.

[costamag]

Hi, I performed the required changes. Let me know if you desire additional changes. All the best