Code

BDD/Generator API#550

Code

Merged

SSoelvsten merged 6 commits intomainSSoelvsten/adiar:mainfrom bdd/generator-apiSSoelvsten/adiar:bdd/generator-apiCopy head branch name to clipboardOct 8, 2023

+832-1,315

Commits

Commits on Oct 8, 2023

• Generalise 'bdd_restrict' API to use Generators and Iterators

  SSoelvsten

  committed
  eb9b0e9

• Generalise 'bdd_eval' API to use Generators and Iterators

  SSoelvsten

  committed
  1b0efa3

• Add 'domain_size()' as a safe-to-call API function

  Show description for 928309f
  SSoelvsten

  committed
  928309f

• Replace 'bdd_satmin' and 'bdd_satmax' implementation to use an internal memory stack

  Show description for 7604e47
  SSoelvsten

  committed
  7604e47

• Remove 'map_pair' class

  SSoelvsten

  committed
  acda930

• Remove <adiar/file.h>

  Show description for 0b98531
  SSoelvsten

  committed
  0b98531