Skip to content

Added edge success flag#534

Closed
ccelinehui wants to merge 2 commits intoZigRazor:masterfrom
ccelinehui:addEdge_success_flag
Closed

Added edge success flag#534
ccelinehui wants to merge 2 commits intoZigRazor:masterfrom
ccelinehui:addEdge_success_flag

Conversation

@ccelinehui
Copy link
Copy Markdown

Fix for issue #521

I added a check for if a duplicate edge is added to the set of edges and a check for if the dynamic casting was successful

@ccelinehui
Copy link
Copy Markdown
Author

I'm so sorry I just saw that someone else made a PR on the same issue. Please feel free to set this aside if necessary

@ZigRazor
Copy link
Copy Markdown
Owner

I close this for the #532

@ZigRazor ZigRazor closed this Sep 30, 2025
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