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.
 1.4.6