Code

Add more consistency checks#84

Code

Draft

marcofavorito wants to merge 7 commits intomainAI-Planning/pddl:mainfrom consistency-checksAI-Planning/pddl:consistency-checksCopy head branch name to clipboard

+1,091-207

Commits

Commits on Jun 30, 2023

• chore: wrap terms list validation in _TermsList class

  marcofavorito

  committed
  23609fc

  Copy full SHA for 23609fc

• chore: move Types class in dedicated package/module

  marcofavorito

  committed
  e6acbf0

  Copy full SHA for e6acbf0

• feat: add ConstantsDef definition and validation

  marcofavorito

  committed
  f90b899

  Copy full SHA for f90b899

• feat: add PredicatesDef definition and validation

  marcofavorito

  committed
  8ef2a4b

  Copy full SHA for 8ef2a4b

Commits on Jul 1, 2023

• feat: check predicates def only has variables

  marcofavorito

  committed
  8743f7b

  Copy full SHA for 8743f7b

• feat: TermsValidator can check absence of duplicates, used for constants def

  marcofavorito

  committed
  6ba0257

  Copy full SHA for 6ba0257

Commits on Jul 2, 2023

• temp: work in progress: builder pattern for validation

  marcofavorito

  committed
  486fe21

  Copy full SHA for 486fe21