Code

Override equal for derived predicates#74

Code

Merged

haz merged 2 commits intomainAI-Planning/pddl:mainfrom fix/der-predAI-Planning/pddl:fix/der-predCopy head branch name to clipboardJun 5, 2023

+70-2

Commits

Commits on Jun 1, 2023

• override equal for derived predicates

  francescofuggitti

  committed
  173de51

Commits on Jun 2, 2023

• address PR comments

  francescofuggitti

  committed
  cbe0b3d