Code

BDD / Cube#580

Code

Merged

SSoelvsten merged 4 commits intomainSSoelvsten/adiar:mainfrom bdd/cubeSSoelvsten/adiar:bdd/cubeCopy head branch name to clipboardNov 17, 2023

+798-46

Commits

Commits on Nov 17, 2023

• Add dd::width() for a more uniform access to node file meta data

  SSoelvsten

  committed
  47da108

• Add 'bdd_iscube'

  SSoelvsten

  committed
  cdb5e60

• Add 'bdd_cube' as an alias for 'bdd_and'

  SSoelvsten

  committed
  82da5ec

• Simplify code with 'bdd_cube' inside of 'bdd_satmin' and 'bdd_satmax'

  SSoelvsten

  committed
  6946b7a