#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.

Dennis Hendriksrequested 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)

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent