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

Add pretty-printing implementations #58

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Conversation

sunsided
Copy link
Owner

@sunsided sunsided commented Apr 23, 2023

Some convenience additions to allow printing state back to PDDL in canonical form. This also uses the pretty crate to implement re-flowing and indentation based on display widths. Makes use of the visitors implemented in #59.

@sunsided sunsided self-assigned this Apr 23, 2023
@sunsided sunsided marked this pull request as draft April 23, 2023 16:55
@sunsided sunsided changed the title Add Display implementations Add pretty-printing implementations Apr 23, 2023
@sunsided sunsided force-pushed the main branch 3 times, most recently from affd70a to 5cda30a Compare April 24, 2023 18:40
@sunsided sunsided added the enhancement New feature or request label May 4, 2023
Copy link

codecov bot commented May 19, 2024

Codecov Report

Attention: Patch coverage is 99.44751% with 1 lines in your changes are missing coverage. Please review.

Project coverage is 81.48%. Comparing base (399cb98) to head (98b36fd).

Files Patch % Lines
src/types/typed_list.rs 98.82% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #58      +/-   ##
==========================================
+ Coverage   80.56%   81.48%   +0.91%     
==========================================
  Files         157      160       +3     
  Lines        5409     5590     +181     
==========================================
+ Hits         4358     4555     +197     
+ Misses       1051     1035      -16     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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

Successfully merging this pull request may close these issues.

1 participant