Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[graphviz] Please enable graphviz customization interface or options tweaking resulting graph #4

Closed
sin-diesel opened this issue Nov 2, 2023 · 3 comments
Closed

[graphviz] Please enable graphviz customization interface or options tweaking resulting graph #4

sin-diesel opened this issue Nov 2, 2023 · 3 comments
Assignees
@rohaquinlop
Labels
enhancement New feature or request

Comments

@sin-diesel
Copy link

I've used the tool to generate a cartesian product of 3 finite automata, but the resulting graph is huge and when I try to view the picture, it becomes problematic to understand what is happening because the font is very small and the graph nodes themselves are too huge. It would be great if we had the option to select those graph parameters, or even better, introduce some python graphviz interface to be able to configure the graph plot settings to our preferences.
@sin-diesel
Copy link
Author

I'll also attach the graph
Pipe * Reader * writer visualization gv

@rohaquinlop rohaquinlop self-assigned this Nov 4, 2023
@rohaquinlop
Copy link
Owner

Hey @sin-diesel thank you for using automathon, I'm gonna be working on it!

@rohaquinlop rohaquinlop added the enhancement New feature or request label Nov 4, 2023
rohaquinlop added a commit that referenced this issue Nov 5, 2023
@rohaquinlop
feat(view): #4 enable graphviz customization
f61221c
rohaquinlop added a commit that referenced this issue Nov 5, 2023
@rohaquinlop
feat(view): #4 enable graphviz customization
b29b3b4
rohaquinlop added a commit that referenced this issue Nov 5, 2023
@rohaquinlop
feat(view): #4 enable graphviz customization
643e19e
rohaquinlop added a commit that referenced this issue Nov 5, 2023
@rohaquinlop
feat(view): #4 enable graphviz customization
5c1ebd3 
- Upgrade the view function to accept graphviz attributes.
- Update the README.md file with CI status badge.
rohaquinlop added a commit that referenced this issue Nov 5, 2023
@rohaquinlop
Merge pull request #6 from rohaquinlop/dev
4e2f798 
feat(view): #4 enable graphviz customization
@rohaquinlop
Copy link
Owner

Already created new version 0.0.13 you can update and test it @sin-diesel !

@rohaquinlop rohaquinlop pinned this issue Feb 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rohaquinlop rohaquinlop

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sin-diesel @rohaquinlop