Introduce enum for CIF/BDD reachability application, for which kind of edges to apply
See original discussion at !931 (comment 2471612).
Addresses #269
Edited by Dennis Hendriks
See original discussion at !931 (comment 2471612).
Addresses #269
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent