Compute node-centric omnitigs
sebschmi opened this issue · 0 comments
sebschmi commented
- plan how to do this
- make incremental hydrostructure generic over the
safety tracker
- write safety tracker for node-centric omnitigs
- write function that employs the safety tracker on macrotigs
- write function that employs the safety tracker on trivial omnitigs
- write test cases for node-centric omnitigs