Commit 3593467e authored 6 years ago by Simon Barner

Update JGraphT to 1.2.0

- Remove private copy of JGraphT 0.9.0
- Use JGraph 1.2.0 copy exported by af3.exploration
- Port source code, e.g.
  - moved packages
  - DirectedGraph -> DefaultDirectedGraph
  - CycleFoundException -> IllegalArgumentException
  - DirectedSubgraph -> MaskSubgraph

Issue-Ref: 3478
Issue-Url: https://af3-developer.fortiss.org/issues/3478



Signed-off-by: Simon Barner <barner@fortiss.org>

parent 9bf4fcf3

No related branches found

No related tags found

1 merge request!13478 smt exploration router

Hide whitespace changes

Inline Side-by-side

Showing with 101 additions and 106 deletions

Please register or to comment