search

idrave / FOND-ASP

5 stars 1 forks source link

Align core solver with paper better #34

Closed ssardina closed 2 years ago

ssardina commented 2 years ago

Just try to align the terminology with the paper more faithfully, like reachable/2 instead of reach/2, etc.

ssardina commented 2 years ago

The way that blocked/2 is done is a bit cleaner in the code, better handling of the inverse, but I am not sure about the second condition in line 44 for when S1=S2

image

Is this really necessary? What should blocked(S,S) be in general? Just documenting this here for now to not forget.. This seems to be a different handling of blocked/2. Note that blocked/2 will never be called with the same state, because sets A and B are disjoints. But it may arise in the definition of blocked/2 itself!

ssardina commented 2 years ago

This is almost done except for the pending discussion in #35

ssardina commented 2 years ago

All done here, fixed in paper repo.