Code

BDD/RelPrev/Renaming#680

Code

Merged

SSoelvsten merged 5 commits intomainSSoelvsten/adiar:mainfrom bdd/relprev/renamingSSoelvsten/adiar:bdd/relprev/renamingCopy head branch name to clipboardJun 24, 2024

Commits

Commits on Jun 24, 2024

• Add shifting of levels to 'level_info_stream'

  SSoelvsten

  committed
  53fd4de

  Copy full SHA for 53fd4de

• Add shifting levels to 'node_stream'

  SSoelvsten

  committed
  b66a801

  Copy full SHA for b66a801

• Add shifting levels to 'node_random_access'

  SSoelvsten

  committed
  53e5e50

  Copy full SHA for 53e5e50

• Add variable shifting to 'bdd' and 'zdd' classes

  SSoelvsten

  committed
  cea5058

  Copy full SHA for cea5058

• Add O(1) shifting case to 'bdd_replace'

  SSoelvsten

  committed
  dcc5e56

  Copy full SHA for dcc5e56