Public Types | |
typedef std::map< hstate_t, std::pair< double, double > > | states_geometry_map_t |
typedef std::map< htransition_t, std::pair< double, double > > | transitions_geometry_map_t |
typedef std::map< hstate_t, std::pair< double, double > > | initials_geometry_map_t |
typedef std::map< hstate_t, std::pair< double, double > > | finals_geometry_map_t |
Public Member Functions | |
geometry () | |
geometry (const geometry &obj) | |
~geometry () | |
geometry & | operator= (const geometry &obj) |
geometry & | copy_from (const geometry &obj) |
states_geometry_map_t & | states () |
Retrieve the map of state coordinates. | |
const states_geometry_map_t & | states () const |
transitions_geometry_map_t & | transitions () |
Retrieve the map of label coordinates for transitions. | |
const transitions_geometry_map_t & | transitions () const |
initials_geometry_map_t & | initials () |
Retrieve the map of label coordinates for initial transitions. | |
const initials_geometry_map_t & | initials () const |
finals_geometry_map_t & | finals () |
Retrieve the map of label coordinates for final transitions. | |
const finals_geometry_map_t & | finals () const |
std::string & | name () |
Retrieve the name of the automaton. | |
const std::string & | name () const |
states_ map is used to store states coordinates. transitions_ map is used to store the label position for transitions. initials_ map is used to store the label position for initial transitions. finals_ map is used to store the label position for final transitions.
Definition at line 35 of file geometry.hh.