Code

Boolean function trait for TruthTable#24

Code

Merged

daemontus merged 18 commits intomainsybila/biodivine-boolean-functions:mainfrom feat/boolean-function-trait-tablessybila/biodivine-boolean-functions:feat/boolean-function-trait-tablesCopy head branch name to clipboardMay 9, 2024

+1,603-435

Commits

Commits on May 2, 2024

• refactor(table): moved Display trait bound to new impl block

  Show description for 78711a9
  AurumTheEnd

  committed
  78711a9

• refactor(bool fn trait)!: moved iterators from src/expressions/ to src/

  Show description for 9181441
  AurumTheEnd

  committed
  9181441

• refactor(bool fn trait): moved expression's iterator blocks back to src/expression

  AurumTheEnd

  committed
  a4c24a2

• feat(bool fn trait): implemented iterator methods for TruthTable

  AurumTheEnd

  committed
  b816bc5

• feat(bool fn trait): implemented inputs & essential_inputs for TruthTable

  AurumTheEnd

  committed
  bd85bcc

• feat(tests): added xor test for essential inputs for Expression

  AurumTheEnd

  committed
  0461bba

• fix(bool fn trait): shortened essential_inputs for Table by using bitwise ops

  AurumTheEnd

  committed
  62b00b0

• feat(bool fn trait): implemented Restrict for Table, with tests

  AurumTheEnd

  committed
  b1f4f4a

• fix(bool fn trait): simplified boolean expression in Restrict for Table

  AurumTheEnd

  committed
  8117d1d

• refactor(bool fn trait): added Table-specific iterators that leverage its fields

  AurumTheEnd

  committed
  e2bbfd0

Commits on May 3, 2024

• feat(tests): added row_index_to_bool_point test just to be sure

  AurumTheEnd

  committed
  ec3593a

• feat(bool fn trait): added utility constructor for DomainIterator

  Show description for 38df070
  AurumTheEnd

  committed
  38df070

• feat(table): added bitwise traits And, Or, Xor for table

  AurumTheEnd

  committed
  c7ba4eb

• feat(bool fn trait): implemented quantification methods for TruthTable

  AurumTheEnd

  committed
  5da60b4

Commits on May 8, 2024

• feat(bool fn trait): table substitute

  AurumTheEnd

  committed
  2f15b20

• feat(tests): added Table is_implied_by test

  AurumTheEnd

  committed
  4662f84

• fix(tests): added Table is_equivalent test by using trait in semantic_eq

  AurumTheEnd

  committed
  94de92f

Commits on May 9, 2024

• refactor(bool fn trait): removed redundant code from table's substitute

  AurumTheEnd

  committed
  1977edc