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.

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

Refactor print_function to use a new function called dump_function #366

Closed
gussmith23 opened this issue Apr 17, 2024 · 2 comments
Closed

Comments

@gussmith23
Copy link
Contributor

On the Rust side, I would like to have access to the functions printed by print_function. @oflatt suggested a simple refactor, adding a dump_function function which dumps the Term objects, and then refactoring print_function to use dump_function. Then I can use dump_function to achieve my own goal.

Feel free to assign to me.

@gussmith23
Copy link
Contributor Author

Turns out this is actually done! EGraph::function_to_dag.

Opened an issue to document the function: #367

@saulshanabrook
Copy link
Member

Oh cool! There is an open issue in the Python bindings to expose print function, but I wasn't sure if I could get at the data. Nice to know that it's possible egraphs-good/egglog-python#124

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants