Code

Contains Subtree Constraint#53

Code

Merged

ReubenJ merged 21 commits intodevHerb-AI/HerbConstraints.jl:devfrom contains-subtreeHerb-AI/HerbConstraints.jl:contains-subtreeCopy head branch name to clipboardMay 14, 2024

+800-35

Commits

Commits on May 7, 2024

• Add Base.:(==) for StateHoles

  Whebon

  committed
  1da5aa1

• Add test for Base.:(==)

  Whebon

  committed
  e385ad9

• Fix SolverStatistics constructor

  Whebon

  committed
  f370cb3

• Add make_equal! tree manipulation

  Whebon

  committed
  a9d61d6

• Optimize empty dict allocations

  Whebon

  committed
  38b5774

• Add ContainsSubtree constraint

  Whebon

  committed
  a5c10f4

Commits on May 8, 2024

• Add get_path function for solvers

  Whebon

  committed
  9cfdabd

• Add a caching optimization for LocalUnique

  Whebon

  committed
  e2afc29

• Prevent nesting propagate calls

  Whebon

  committed
  a5c7d27

Commits on May 9, 2024

• Fix a bug when trying to make 2 holes equal

  Whebon

  committed
  fc98460

• Fix a case where LocalContainsSubtree missed spotting an inconsistency

  Whebon

  committed
  2aa3fe3

• Remove slow map function

  Whebon

  committed
  2032f1b

• Add constraint priority

  Whebon

  committed
  39f7ca0

Commits on May 10, 2024

• Remove fix_point! on post!

  Whebon

  committed
  f2357d2

• add get_nodes, to get all the nodes of the tree without recursion

  Whebon

  committed
  c545c27

• Update docstring

  Whebon

  committed
  759e0b7

• Optimize ContainsSubtree: less pattern matches, less softfails, less allocations

  Whebon

  committed
  3b43b1a

• Make ContainsSubtree detect an inconsistency when all pattern matches hard fail on re-propagation

  Whebon

  committed
  29bd260

Commits on May 12, 2024

• Add a softfail case for ignore_if

  Whebon

  committed
  5f98819

Commits on May 14, 2024

• Update test for issue #54

  Whebon

  committed
  4062e75

• Merge branch 'dev' into contains-subtree

  ReubenJ

  committed
  d20e354