calling clear() in destructor; this should not make a difference in terms of correctness -- only clearing some of the memory earlier on
calling clear() in destructor; this should not make a difference in terms of correctness -- only clearing some of the memory earlier on

--HG--
extra : convert_revision : 8bf5ff8ccbd69638f8ebe60e6957eb02571b8df7

davetcoleman/ompl,davetcoleman/ompl,davetcoleman/ompl,jvgomez/ompl,sonny-tarbouriech/ompl,florianhauer/ompl,florianhauer/ompl,florianhauer/ompl,utiasASRL/batch-informed-trees,davetcoleman/ompl,jvgomez/ompl,utiasASRL/batch-informed-trees,florianhauer/ompl,florianhauer/ompl,sonny-tarbouriech/ompl,utiasASRL/batch-informed-trees,jvgomez/ompl,sonny-tarbouriech/ompl,utiasASRL/batch-informed-trees,jvgomez/ompl,sonny-tarbouriech/ompl,jvgomez/ompl,utiasASRL/batch-informed-trees,sonny-tarbouriech/ompl,florianhauer/ompl,davetcoleman/ompl,jvgomez/ompl,utiasASRL/batch-informed-trees,davetcoleman/ompl,sonny-tarbouriech/ompl