batching_pomp::util::Selector< Graph > Class Template Reference

A selector assigns an ordering for evaluating edges on a candidate path. More...

#include <Selector.hpp>

Public Member Functions
	Selector (const std::string &_type)
std::string	getType ()
std::vector< Edge >	selectEdges (const Graph &g, const std::vector< Edge > &epath) const
	Call edge selector function pointer.

Detailed Description

template<class Graph>
class batching_pomp::util::Selector< Graph >

A selector assigns an ordering for evaluating edges on a candidate path.

Implements various methods of selecting the order of edges to check for lazy evaluation of a candidate path.

Template Parameters

Graph

The type of boost graph used for the roadmaps

Constructor & Destructor Documentation

Selector()

template<class Graph >

batching_pomp::util::Selector< Graph >::Selector ( const std::string &  _type )

inline

Parameters

[in]

_type

The kind of edge selector to use. Options are normal, alternate, failfast and maxinf

---

The documentation for this class was generated from the following file:

• include/batching_pomp/util/Selector.hpp