Skip to content

#706 CIF data-based synthesis: more renaming and splitting synthesis/non-synthesis parts

  • Best to review per commit.
  • Most notable changes:
    • Made more functionality reusable (preprocessing, BDD factory creation, BDD statistics configuration + printing/writing).
    • Made precondition check for non-determinism more configurable.
    • Create settings earlier, and use settings rather than options.
    • Split synthesis settings from CIF/BDD settings.
    • Split synthesis statistics from CIF/BDD statistics, athough there is some overlap since Java enums don't inheritance.
    • Removed synthesis-related terminology/references/etc in non-synthesis parts.

Addresses #706 (closed)

Merge request reports