Skip to content
Commit 5e2cca4d authored by Dávid Smolka's avatar Dávid Smolka
Browse files

Changed is_may_edge(aut, en) and get_may_edges(aut) to use only functions implemented in Spot.

parent 44d07e50
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment