Skip to content

Remove predicates that were specified twice in the initial state. - #18

Merged
speckdavid merged 3 commits into
aibasel:masterfrom
speckdavid:master
Jul 23, 2026
Merged

speckdavid merged 3 commits into
aibasel:masterfrom
speckdavid:master

Conversation

@speckdavid

Copy link
Copy Markdown
Contributor

No description provided.

@SimonDold SimonDold left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added to each removed line a comment to the line that had the duplicate which i tested with meld (mainly to prevent myself from skipping one).

In assembly/prob19.pddl the end of file changed in a weird way that probably means nothing.

I suggested a change for the README.md

But i am fine as is.

Comment thread assembly/prob02.pddl
(assemble-order frob foobar hack)
(assemble-order widget valve socket)
(assemble-order widget valve socket)
(assemble-order widget valve doodad)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L52

Comment thread assembly/prob02.pddl
(assemble-order sprocket hack gimcrack)
(assemble-order frob foobar hack)
(assemble-order widget valve socket)
(assemble-order widget valve socket)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L49

Comment thread assembly/prob07.pddl
(assemble-order connector-5 mount-7 kludge-4)
(remove-order mount-7 connector-5 kludge-4)
(assemble-order bracket device kludge-4)
(assemble-order bracket device kludge-4)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L75

Comment thread assembly/prob07.pddl
;; (remove-order sprocket hack contraption) ;; BUG: sprocket not defined -- Malte
(assemble-order connector-5 mount-7 contraption)
(assemble-order bracket device fastener)
(assemble-order bracket device fastener)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L89

Comment thread assembly/prob08.pddl
(assemble-order fastener coil-7 mount)
(assemble-order fastener frob mount)
(assemble-order tube-6 unit-5 coil-7)
(assemble-order tube-6 unit-5 coil-7)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L69

Comment thread assembly/prob27.pddl
(assemble-order hoozawhatsie foobar bracket)
(assemble-order foobar gimcrack bracket)
(assemble-order foobar gimcrack bracket)
(assemble-order foobar gimcrack whatsis)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L194

Comment thread assembly/prob30.pddl
(assemble-order fastener sprocket unit)
(remove-order sprocket fastener unit)
(assemble-order connector foobar sprocket)
(assemble-order connector foobar sprocket)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L200

Comment thread assembly/prob30.pddl
(assemble-order connector foobar sprocket)
(assemble-order tube connector sprocket)
(assemble-order connector foobar fastener)
(assemble-order connector foobar fastener)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L203

(at ap9 d1 BER)
(at ap9 d9 HAM)
(at ap10 d4 FRA)
(at ap10 d4 FRA)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

L25

Comment thread README.md Outdated
initial state.

- **assembly**: We removed predicates that were specified twice in the initial
state.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These sentences have the same semantic. I would use both times the very same then, to reduce mental load.

@speckdavid
speckdavid merged commit b4c9aab into aibasel:master Jul 23, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants