Virtual pi network

[hibenj]

Description

This PR includes the virtual_pi_network.hpp, virtual_pi_network.cpp(testing) and virtual_pi_network.rst(documentation), as well as the necessary changes in traits.hpp
The virtual PI network enhances all mockturtle network types to store duplicates of their PIs, called virtual PIs.

Checklist:

• The pull request only contains commits that are related to it.
• I have added appropriate tests and documentation.
• I have added a changelog entry.
• I have created/adjusted the Python bindings for any new or updated functionality.
• I have made sure that all CI jobs on GitHub pass.
• The pull request introduces no new warnings and follows the project's style guidelines.

[codecov]

Codecov Report

Attention: Patch coverage is 98.71912% with 14 lines in your changes missing coverage. Please review.

Project coverage is 98.13%. Comparing base (c47c5b0) to head (b690a0e).

Files with missing lines	Patch %	Lines
...clude/fiction/networks/views/static_depth_view.hpp	92.07%	8 Missing ⚠️
...thms/network_transformation/delete_virtual_pis.hpp	94.36%	4 Missing ⚠️
...clude/fiction/networks/views/mutable_rank_view.hpp	98.72%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #543      +/-   ##
==========================================
+ Coverage   98.11%   98.13%   +0.02%     
==========================================
  Files         235      245      +10     
  Lines       36046    37144    +1098     
  Branches     1754     1804      +50     
==========================================
+ Hits        35368    36453    +1085     
- Misses        678      690      +12     
- Partials        0        1       +1     

Files with missing lines	Coverage Δ
.../fiction/algorithms/verification/virtual_miter.hpp	100.00% <100.00%> (ø)
include/fiction/networks/virtual_pi_network.hpp	100.00% <100.00%> (ø)
...thms/network_transformation/delete_virtual_pis.cpp	100.00% <100.00%> (ø)
test/algorithms/verification/virtual_miter.cpp	100.00% <100.00%> (ø)
test/networks/views/mutable_rank_view.cpp	100.00% <100.00%> (ø)
test/networks/views/static_depth_view.cpp	100.00% <100.00%> (ø)
test/networks/virtual_pi_network.cpp	100.00% <100.00%> (ø)
...clude/fiction/networks/views/mutable_rank_view.hpp	98.72% <98.72%> (ø)
...thms/network_transformation/delete_virtual_pis.hpp	94.36% <94.36%> (ø)
...clude/fiction/networks/views/static_depth_view.hpp	92.07% <92.07%> (ø)

... and 3 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

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

[github-actions]

clang-tidy made some suggestions

[github-actions]

clang-tidy made some suggestions

[github-actions]

clang-tidy made some suggestions

[github-actions]

clang-tidy made some suggestions

[github-actions]

clang-tidy made some suggestions

[marcelwa]

Many thanks for your hard work on this PR, @hibenj and @Drewniok! 🙏 The code is in really good shape already. All comments I have are minor. No big restructuring necessary.

[github-actions]

clang-tidy made some suggestions

[github-actions]

clang-tidy made some suggestions

[marcelwa]

I really like the new naming of static_depth_view and mutable_rank_view. They do a great job providing an immediate intuition of their usefulness.

There are a few docstrings that I don't understand yet. I think you can clarify these quickly, though.

[marcelwa]

Thanks for addressing my remaining points so swiftly and a huge thank you for the terrific code addition! 🙏 It is ready to be merged in my opinion.