Jafar
|
Definition at line 22 of file graphManager.hpp.
Public Types | |
typedef std::vector < edge_descriptor > | EdgeList |
typedef boost::shared_ptr < InputManagerAbstract > | input_manager_ptr_t |
typedef std::vector < input_manager_ptr_t > | InputManagerVector |
typedef boost::shared_ptr < OutputManagerAbstract > | output_manager_ptr_t |
typedef std::vector < output_manager_ptr_t > | OutputManagerVector |
Public Member Functions | |
GraphManager (RobotId robotId) | |
bool | addNewEdge (RobotId from_robot, MapId from_map, RobotId to_robot, MapId to_map, Transformation t) |
void | addInputManager (input_manager_ptr_t inputManagerPtr) |
void | addOutputManager (output_manager_ptr_t outputManagerPtr) |
void | updateGraph () |
void | updateVertexData () |
void | lookForLoopsFromEdge (edge_descriptor e) |
void | optmizeLoops () |
EdgeList | getLoop () |
void | dumpToMemory () |
void | saveGraphImage (std::string filename) |
Public Attributes | |
kernel::VariableMutex< bool > | exit |
std::vector< EdgeList > | _loops |
InputManagerVector | _input_managers |
OutputManagerVector | _output_managers |
Generated on Wed Oct 15 2014 00:37:39 for Jafar by doxygen 1.7.6.1 |