Added const to dump. Correct inclusion of function parameters into state; fixes equiv...
authorStéphane Magnenat <stephane@magnenat.net>
Wed, 6 Jan 2010 10:14:41 +0000 (11:14 +0100)
committerStéphane Magnenat <stephane@magnenat.net>
Wed, 6 Jan 2010 10:14:41 +0000 (11:14 +0100)
commit19038655ee8af26635ca9667850104098c3cc9ba
treeee60bb71ad5c31fb56f34cd9119b4b7243fe9150
parent34f4ea4e8d1b17efd610b8eab636e4014f7a8d45
Added const to dump. Correct inclusion of function parameters into state; fixes equivalent relations insertion when parameters are in the wrong order.
core/problem.hpp
core/state.hpp
programs/distributed-client.cpp
programs/distributed.cpp