Which file: main.c or main-trap.c?

[ssardina]

There are to main C files in src/: main-trap.c and main.c.

Which is the right one ?

[ssardina]

From @lchrpa :

Anyway, I had a look at the code. It seems that main-trap.c is for the online approach while main.c is for the offline approach. However, a different binary has been generated for each configuration of the offline approach (I have to figure out the reason behind it).

[ssardina]

Thanks @lchrpa !

For now I think the most important thing is to get the OFFLINE version on at least one of the systems we tested and reported:

[ssardina]

BWT, what was Traps (DFS+)? Is that using LAPKT?

[lchrpa]

BWT, what was Traps (DFS+)? Is that using LAPKT?

Yes both DFS+ and LmCut are implemented within LAPKT and the Trapper tool (which is also implemented in LAPKT)

[ssardina]

I thought LmCut was just a heuristic, not a solver per se. Seems it is more than just a heuristic?

[lchrpa]

LmCut is a heuristic implemented within the trapper tool (not a standalone solver). Sorry for being unclear.

[ssardina]

No, that's OK, it's me that I am pretty ignorant.

But, the trapper tool is also a planner? I thought the trapper would just find traps (dead-ends) as state constraints. If so, when we say Trapper(LmCUT), who is doing the actual search for a plan? Sorry it is my ignorance...

[lchrpa]

In fact, the trapper tool contains a planner which can also be used without traps (not sure if I somehow hacked it to plan without traps or if it was a feature). Hope it helps.

[ssardina]

OK to make it very clear I have renamed main-traps.c to main-online.c and main.c to main-offline.c.

This matches how makefiles handles them