Code

Integer handling for feasible sets#83

Code

Merged

ahmed-irfan merged 8 commits intoSRI-CSL:masterSRI-CSL/libpoly:masterfrom Ovascos:feasible-set-intOvascos/libpoly:feasible-set-intCopy head branch name to clipboardOct 9, 2024

+335-39

Commits

Commits on Oct 7, 2024

• code readability update

  

  Thomas Hader

  committed
  47464ab

  Copy full SHA for 47464ab

• Code cleanup

  

  Thomas Hader

  committed
  84e85a3

  Copy full SHA for 84e85a3

• Implemented has_integer for interval and FeasibleSet

  

  Thomas Hader

  committed
  61438d1

  Copy full SHA for 61438d1

• Created lp_integer_fits_int

  

  Thomas Hader

  committed
  ece4f77

  Copy full SHA for ece4f77

• Created lp_feasibility_set_count_int

  

  Thomas Hader

  committed
  13bc940

  Copy full SHA for 13bc940

• Implement binary search for feasibility_set::contains

  

  Thomas Hader

  committed
  43aa5f5

  Copy full SHA for 43aa5f5

• fixed whitespaces

  

  Thomas Hader

  committed
  31839cb

  Copy full SHA for 31839cb

Commits on Oct 9, 2024

• Added comment

  

  Thomas Hader

  committed
  db09ece

  Copy full SHA for db09ece