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

[WIP] new shrinking #23

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

[WIP] new shrinking #23

wants to merge 7 commits into from

Conversation

minhthin1028
Copy link
Contributor

No description provided.

@minhthin1028 minhthin1028 changed the base branch from mt/shrinking to main December 17, 2021 22:05
test/shrinking/shrinking.jl Show resolved Hide resolved
src/shrinking/shrinking.jl Outdated Show resolved Hide resolved
@GiggleLiu GiggleLiu mentioned this pull request Dec 18, 2021
@@ -0,0 +1,43 @@
using UnitDiskMapping, Test
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Still need to add unit tests for new functions

@@ -386,6 +386,10 @@ function map_graph(mode, g::SimpleGraph; vertex_order=Greedy(), ruleset=default_
return MappingResult(ug, vcat(tape, tape2) , mis_overhead0 + mis_overhead1 + mis_overhead2)
end

function apply_simplifiers_unweighted(ug::UGrid)
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wanted an estimate of overhead scaling, can delete/modify function

halfx = (x_max - x_min)/2 + x_min
halfy = (y_max - y_min)/2 + y_min

# move boundary vertices such that we can shrink graph from four quadrants
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good! Now it is much easier to read. If possible, you should try to lessen the number of branches - otherwise you need to write tests for every branch to ensure the test coverage is good.

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

Successfully merging this pull request may close these issues.

2 participants