Code

Truth tables#19

Code

Merged

AurumTheEnd merged 35 commits intomainsybila/biodivine-boolean-functions:mainfrom feat/truth-tablesybila/biodivine-boolean-functions:feat/truth-tableCopy head branch name to clipboardApr 22, 2024

+1,726-4

Commits

Commits on Apr 18, 2024

• chore: added todo comments

  AurumTheEnd

  committed
  a23dc11

• build: updated dev script to use optional feature

  AurumTheEnd

  committed
  dac0ac3

• build: added tabled dependency for pretty printing tables

  AurumTheEnd

  committed
  3a95efa

• feat!: implemented TruthTable as a struct of variables and bool. function outputs

  AurumTheEnd

  committed
  6d1e006

• feat: implemented conversion truth table from expression

  AurumTheEnd

  committed
  badd556

• feat: implemented rudimentary Display for truth table

  AurumTheEnd

  committed
  8fc2433

• feat: implemented Evaluate trait for Truth Table

  AurumTheEnd

  committed
  f31f3f9

• feat: implemented Gather Literals trait for Truth Table

  AurumTheEnd

  committed
  79c922d

• fix: fixed import out of order

  Show description for b55be39
  AurumTheEnd

  committed
  b55be39

• feat: added baseline customizable table displaying

  Show description for 34a5b01
  AurumTheEnd

  committed
  34a5b01

• feat: added CapitalizedWord bool_to_string style

  Show description for b5fcf6e
  AurumTheEnd

  committed
  b5fcf6e

• fix: fixed empty table style being having trailing left-space at start of line

  AurumTheEnd

  committed
  d73b725

• fix: fixed display test not using expected variable

  AurumTheEnd

  committed
  1542516

• feat: added test case for display

  AurumTheEnd

  committed
  af9d0dc

• refactor: introduced constants for strings used in table printing

  AurumTheEnd

  committed
  5d8d90d

• feat: added non-public table constructor for easier access

  AurumTheEnd

  committed
  7629d70

• feat: added is_empty convenience method for Table

  AurumTheEnd

  committed
  7c306c0

• feat: added util method string_to_bool for parsing bool values

  AurumTheEnd

  committed
  2ea1130

• fix: made TableBooleanFormatting method public

  AurumTheEnd

  committed
  a7bf43e

• build: bumped pyo3 version

  AurumTheEnd

  committed
  870a5ac

• build: added rstest* related dev dependencies for parametrized tests

  AurumTheEnd

  committed
  dfb84e9

• build: added csv and tempfile dependencies for csv parsing

  AurumTheEnd

  committed
  87870c5

• feat!: added TruthTable module for parsing to and from CSV format

  AurumTheEnd

  committed
  a476ab1

• refactor: extracted common formatting-related functionality into private methods

  AurumTheEnd

  committed
  f7807b5

• fix: fixed typo

  AurumTheEnd

  committed
  c38258e

• fix: fixed build errors after Expression breaking change refactor

  AurumTheEnd

  committed
  af472d0

• feat: added tests for variable-less expressions

  AurumTheEnd

  committed
  71a1e0d

• fix: fixed to_expression behavior dealing with variable-less tables

  AurumTheEnd

  committed
  bcf5394

Commits on Apr 22, 2024

• feat: implemented trait PowerSet for TruthTable

  AurumTheEnd

  committed
  74a7b9a

• feat: implemented trait SemanticEq for TruthTable

  AurumTheEnd

  committed
  003b6c4

• feat: derived pyclass for display_formatted enums when feature is enabled

  AurumTheEnd

  committed
  3ce2162

• feat: implemented Into PyErr for TruthTableFromCsvError when feature is enabled

  AurumTheEnd

  committed
  27435a0

• feat: added From<&PythonExpression> called from existing From<PythonExpression>

  Show description for c2779dc
  AurumTheEnd

  committed
  c2779dc

• feat!: added PythonTruthTable to bindings

  AurumTheEnd

  committed
  bfdbebe

• feat(tests): added tests to increase display_formatted coverage

  AurumTheEnd

  committed
  3a428d8