#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.
requested to merge 879-introduce-enum-for-cif-bdd-reachability-application-for-which-kind-of-edges-to-apply into develop
- Best to review per commit.
- Introduce
CifBddEdgeApplyDirection
enum instead of boolean value. - Introduce
CifBddEdgeKind
enum instead of boolean values. - Obviously, more could be improved. But here I'm only targeting the elimination of booleans for apply edges and for reachability computations.
Closes #879 (closed)