search

ssardina-research / app-trapper

Software for IJCAI17 paper on solving APP with dead-end reasoning
0 stars 0 forks source link

Is this fix correct? #12

Open ssardina opened 3 years ago

ssardina commented 3 years ago

@lchrpa , we have this function:

image

and we call it like this:

image

I have replaced it with:

image

Agree? Why did it work well before?

lchrpa commented 3 years ago

I'll have to look into it as your fix makes more sense than how it was before. On the other hand, it worked well before. I'll have a look after reviewing deadlines (IJCAI and SoCS).

ssardina commented 3 years ago

OK. Yes I was confused. Presumably variable visitednodes contains the address of visitednodes[0], the first element of the array. So it would be equivalent to &visitednodes[0]

visitednodes is of int[] which is exactly the type of the argument in the function.

I would have imagine that &visitednodes is NOT the same value as visitednodes