search

gaioguys / GAIO.jl

A Julia package for set oriented computations.
MIT License
9 stars 4 forks source link

Add BoxGraph #76

Closed April-Hannah-Lena closed 1 year ago

April-Hannah-Lena commented 1 year ago

This PR adds the BoxGraph type, which is mostly a wrapper around a TransferOperator. This really just means defining some basic functions from the Graphs.jl API. All of the algorithms in Graphs.jl should "just work", although only strongly_connected_components will return a BoxSet. Other algorithms will simply return whatever Graphs.jl returns by default, which might not make much sense. A docs page on BoxGraph would probably be enough to explain this to the user .... so long as the user reads the docs.

I'll push a commit with some docs this weekend.

gaioguy commented 1 year ago

Ok, very nice. This is exactly how the algorithm for the recurrent set should look like.