Introduce enum for CIF/BDD reachability application, for which kind of edges to apply
See original discussion at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/931#note_2471612.
Addresses #269
issue
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent