for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

  in C++.

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

for more information, see https://pre-commit.ci

The configSolved() method is redundant. Checks are added for the case
where the final configuration computed has been reached but the goal is
deemed not reached by the path planner.

Some other small redundancies are also removed.

Previously, when the inStatePlanner fails to compute path between two
configurations on the same leaf, the roadmap generated is not added to
the main roadmap of StatesPathFinder. Now it is added so that the
roadmap gets expanded whenever inStatePlanner is used. The good side
effect is fairer comparison between different algorithms when comparing by the number
of nodes in the roadmap.

The StatesPathFinder algorithm is not yet able to handle all kinds of
goal constraints. An example is when the object final configuration is
locked in placement: the algorithm is not propagating the placement
complement to previous waypoints. A note is added for users and future
developers.

Previously, we handled this case when goal is defined as a goal
configuration. However, this case may still occur when goal is defined
as a set of constraints. Moreover, the previous method does not store
the loop transition to the list of solutions, making it difficult to
re-try later on.

The graph has loop edge for every state (node), which can be used to
connect init and goal config directly if they are both in the same
state.

Previously, there are multiple versions of the same function, to cater
for two cases: when goal is defined as a configuration, and when when
goal is defined as a set of constraints. This duplication is not
desirable, as we need to make changes in multiple places if we want to
make a small change in a function. This commit removes the duplication
by merging the functions together and adding checks within the new
functions to cater for the two cases.

Some modifications are needed for analyseOptimizationProblem when goal
is given as a configuration. So far we have made a few, but there may be
more.

BUG: if a certain transition list succeeds to give a configuration list for
the first time, and fails for the second time, a new transition list
will be considered, but skipColAnalysis is NOT reset. This is now fixed
by using the direct comparison with nTryConfigList_ instead of using an
additional data member.

Previously, `solveOptimizationProblem()` sometimes returns configuration
list that has collision in at least one configuration. This was possibly
because the collision validation is not working properly. Fixed by using
the new collision validation provided by hpp::core.

Some refactoring is also done to make the return of the function a bit
clearer (instead of simple int, use enum).

Make graph search data part of the path planner object, so that we don't
have to search the graph from scratch everytime we want to compute a new
list of configurations.

Remove nested if and add more comments to explain GraphSearchData

From the list of goal constraints, we can find a list of states that
contain the maximum number of goal constraints. We choose to compute
only state sequences that end in a state that can potentially be a goal
state. However, future work needs to assess/prove that this heuristic
covers all the possible goal states.

When goal is defined as set of constraints, every state sequence is a
possible solution. The current implementation grows the list of possible
state sequences faster than they are attempted: for every time we add all
neighbors of the front node to queue, we only try out one sequences.
This could be too space consuming if the graph has large branching factor.

Before adding another constraint to a solver, check if it already has
the stricter version of the constraint. `constraint/hold` is stricter
than `constraint` and stricter than `constraint/complement`.