Alan-Jowett / bdd_test / 19202599061

push

github

Refactor graphing (#16)

* Simplified graph printer

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* Simplified graph printer

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* Simplified graph printer

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* Simplified graph printer

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* Refactor DOT generation architecture for clean separation of concerns

- Remove BDD-specific logic from generic dot_graph_generator.hpp
- Create dedicated BDD-specific DOT generation in bdd_graph.hpp
- Eliminate use_interleaved_format option to simplify codebase
- Remove unnecessary wrapper function write_bdd_to_dot
- Implement clean separated format: all nodes first, then edges
- Add BDD-specific terminal node declarations (square/circle styling)
- Regenerate all test files with new cleaner DOT format
- All 24 tests passing with improved architecture

Benefits:
- Generic DOT generator is now truly framework-agnostic
- BDD specifics properly encapsulated in BDD module
- Cleaner, more maintainable DOT output format
- 16% code reduction in generic generator (415 vs 494 lines)
- Better separation of concerns and extensibility

* refactor: Complete header/implementation separation with SPDX headers and performance optimization

- Separate BDD module: Move implementation from bdd_graph.hpp to bdd_graph.cpp
- Separate expression module: Move implementation from expression_graph.hpp to expression_graph.cpp
- Add proper SPDX license headers to all modified files
- Apply clang-format to ensure code style compliance
- Optimize bdd_iterator with inline member functions for better performance
- Update CMakeLists.txt to include both new .cpp files
- Maintain clean public APIs with minimal header dependencies
- Preserve all functionality while improving architectural design

Files changed:
- bdd_graph.hpp: Reduced to 62 lines (public API only)
- bdd_graph.cpp: 282 lines (complete implementation with inline op... (continued)

675 of 796 branches covered (84.8%)

Branch coverage included in aggregate %.

347 of 387 new or added lines in 5 files covered. (89.66%)

594 of 643 relevant lines covered (92.38%)

198.65 hits per line