Mungojerrie  1.1
Mungojerrie
Public Attributes | List of all members
Model::AttractorResults Struct Reference

Class for return value of getAttractorWithStrat. More...

#include <Model.hh>

Public Attributes

std::set< Nodeattr
 
std::map< Node, Actionstrategy
 

Detailed Description

Class for return value of getAttractorWithStrat.


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