Public Member Functions | |
states_geometry_map_t & | states () |
Retrieve the map of state coordinates. | |
edges_geometry_map_t & | edges () |
Retrieve the map of label coordinates for edges. | |
initials_geometry_map_t & | initials () |
Retrieve the map of label coordinates for initial transitions. | |
finals_geometry_map_t & | finals () |
Retrieve the map of label coordinates for final transitions. | |
std::string & | name () |
Retrieve the name of the automaton. |