more debug functions

This commit is contained in:
Hieu Hoang 2013-12-13 15:47:26 +00:00
parent 95a41c44fa
commit 3bd5583976

View File

@ -50,18 +50,6 @@ public:
}
};
/** Define an ordering between RuleCubeItems based on their positions in the
* cube. This is used to record which positions in the cube have been covered
* during search.
*/
class RuleCubeItemPositionOrderer
{
public:
bool operator()(const RuleCubeItem *p, const RuleCubeItem *q) const {
return *p < *q;
}
};
/** @todo what is this?
*/
class RuleCubeItemHasher