Code

Bdds#26

Code

Merged

AurumTheEnd merged 51 commits intomainsybila/biodivine-boolean-functions:mainfrom feat/bddssybila/biodivine-boolean-functions:feat/bddsCopy head branch name to clipboardMay 17, 2024

+2,145-9

Commits

Commits on May 10, 2024

• feat(bdd): initial ideas for Bdd implementation

  Show description for 33136f7
  

  daemontus

  authored and

  AurumTheEnd

  committed
  33136f7

• feat(bdd): expanded doc comments

  AurumTheEnd

  committed
  921ee65

• feat(bdd): made iterators work

  AurumTheEnd

  committed
  bec44fa

• refactor(bdd): moved BitAnd impl into traits module

  AurumTheEnd

  committed
  b528c97

• refactor(bdd): refactored extend/prune bdd_variables functions into separate mod

  AurumTheEnd

  committed
  7e7c1ff

• refactor(bdd): refactored bool fn trait into separate traits mod

  AurumTheEnd

  committed
  56d1557

• fix(bdd): fixed clippy errors

  AurumTheEnd

  committed
  7460963

• fix(bdd): removed redundant 'static trait bound for literals

  AurumTheEnd

  committed
  67c926d

• fix(table): removed redundant 'static trait bound for literals

  AurumTheEnd

  committed
  1de7cd2

• refactor(bdd): made util method make_inner_variable_set return Result, not panic

  AurumTheEnd

  committed
  20fd7ec

• feat(bdd): implemented TryFrom<Expression<T>> for Bdd<T>

  AurumTheEnd

  committed
  127c0a3

• feat(bdd): implemented TryFrom<TruthTable<T>> for Bdd<T>

  AurumTheEnd

  committed
  dc3de43

• refactor(bdd): made conversion methods pub(crate)

  AurumTheEnd

  committed
  535ec6b

• feat(bdd): implemented TryFrom<Bdd<T>> for Expression<T>

  AurumTheEnd

  committed
  c51b606

• feat(table): added simple util method for boolean point to table row index

  AurumTheEnd

  committed
  ad70db6

• feat(bdd): implemented TryFrom<Bdd<T>> for Table<T>

  AurumTheEnd

  committed
  cbd0171

• refactor(bdd): moved duplicate code to restrict_and_prune & union_and_extend

  AurumTheEnd

  committed
  f537fa1

• feat(bdd): added n_ary version of union_and_extend util method

  AurumTheEnd

  committed
  33df18b

• feat(bdd): implemented substitute

  AurumTheEnd

  committed
  b1e9f5a

Commits on May 11, 2024

• refactor(bdd): introduced pub(crate) constructor

  AurumTheEnd

  committed
  be1b4f9

• feat(tests): expression_from_bdd

  AurumTheEnd

  committed
  1d22946

Commits on May 13, 2024

• build: bumped lib_bdd version

  AurumTheEnd

  committed
  42aabcb

• feat(tests): bdd_from_expression

  AurumTheEnd

  committed
  be4c63a

• fix(tests): included constants in bdd_from_expression tests

  AurumTheEnd

  committed
  71aaaf5

• feat(tests): bdd_from_table

  AurumTheEnd

  committed
  fa826a1

• fix(bdd): fixed index out of bounds in prune_variables

  AurumTheEnd

  committed
  c104e67

• feat(tests): bdd.restrict

  AurumTheEnd

  committed
  431cd7c

• fix(bdd): fixed index out of bounds in extend_variables

  AurumTheEnd

  committed
  be30b0b

• feat(tests): some bdd.substitute

  AurumTheEnd

  committed
  afb5a98

• feat(tests): bdd.inputs

  AurumTheEnd

  committed
  b8125b3

• feat(bdd): implemented evaluate trait

  AurumTheEnd

  committed
  7daedfa

• feat(test): bdd.*quantification

  AurumTheEnd

  committed
  9564e04

• feat(test): bdd.domain

  AurumTheEnd

  committed
  b390c55

• feat(test): bdd.essential_degree

  AurumTheEnd

  committed
  913f385

• feat(test): bdd.image

  AurumTheEnd

  committed
  8d9af57

• feat(test): bdd.relation

  AurumTheEnd

  committed
  ff45d68

• feat(test): bdd.support

  AurumTheEnd

  committed
  392c762

Commits on May 14, 2024

• fix(bdd): better (more correct) implementation of extend and prune util functions

  

  daemontus

  authored and

  AurumTheEnd

  committed
  fd24848

• fix(bdd): removed degree implementation which was the same as the default

  AurumTheEnd

  committed
  8e6d50b

• feat(tests): table_from_bdd

  AurumTheEnd

  committed
  acda0fb

• fix(bdd): uncommented test that was off by mistake

  AurumTheEnd

  committed
  4958293

• refactor(bdd): extracted common functionality out of impl BitAnd for Bdd

  AurumTheEnd

  committed
  5275e14

• feat(bdd): implemented gather literals

  AurumTheEnd

  committed
  aa9c92e

• fix(tests): fixed names of table bitwise tests

  AurumTheEnd

  committed
  3c99213

• feat(tests): added bdd.and tests

  AurumTheEnd

  committed
  e8d41d8

• feat(bdd): implemented BitOr & BitXor for bdd

  AurumTheEnd

  committed
  6154887

Commits on May 15, 2024

• feat(bdd): handled constant edgecases in expression_from_bdd

  AurumTheEnd

  committed
  c3e7aa6

• feat(tests): added constant test for bdd_from_expression

  AurumTheEnd

  committed
  d5513ff

• refactor(bdd): refactored bdd.evaluate to reduce coverage blindspots

  AurumTheEnd

  committed
  95352db

• feat(test): bdd.weight & bdd.sat_point

  AurumTheEnd

  committed
  dd29be4

• feat(test): bdd.is_implied_by

  AurumTheEnd

  committed
  5e57d83