Alan-Jowett / bdd_test / 19256463649

push

github

Add comprehensive documentation index and dark-mode compatible Mermaid analysis (#41)

* Add Mermaid graph generation for expression trees and BDDs

- Add --mermaid/-m command line option for Markdown-embeddable graphs
- Implement write_expression_to_mermaid() for expression tree visualization
- Implement write_bdd_to_mermaid() for BDD structure visualization
- Generate .md files with YAML frontmatter and flowchart syntax
- Support semantic variable names in Mermaid output
- Use appropriate node styling: circles for variables, rectangles for operators
- Use dashed lines for false edges, solid lines for true edges in BDDs
- Update help documentation and file output messaging
- Include example Mermaid files for testing and demonstration

Features:
- Expression trees: rectangles for operators, circles for variables
- BDD graphs: terminals as squares, variables as circles
- GitHub/GitLab compatible Mermaid syntax
- Consistent with existing DOT output architecture

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

* refactor: Create single comprehensive Mermaid analysis file

- Combine expression tree and BDD Mermaid diagrams into one MD file
- Generate _analysis.md file with original expression, diagrams, and summary
- Include original expression text in readable format
- Add analysis summary with variable count and BDD node count
- Remove separate _expression_tree.md and _bdd.md files
- Improve readability for GitHub/GitLab Markdown rendering

The --mermaid option now creates a single cohesive document that presents:
1. Original logical expression in code block
2. Expression tree Mermaid diagram
3. BDD structure Mermaid diagram
4. Analysis summary with key metrics

This provides better documentation and eliminates the formatting issues
with separate files.

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

* cleanup: Remove unused Mermaid filename variables

Remove expr_mermaid_filename and bdd_mermaid_filename variables that
are no longer us... (continued)

1015 of 1251 branches covered (81.14%)

Branch coverage included in aggregate %.

218 of 223 new or added lines in 3 files covered. (97.76%)

956 of 1052 relevant lines covered (90.87%)

47801.46 hits per line