ERM Planner now extracts a "ShortestPathHA" and writes it to the screen.
ERM Planner now extracts a "ShortestPathHA" and writes it to the screen.

git-svn-id: efd0e5baaba64e4b1513dfd6272445d45fb3bc5f@531 915fd5a2-32c1-4e06-90b4-f1382ce795f9

tu-rbo/hybrid-automaton-library