Skip to content

#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.

  • 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

Loading