geometry Struct Reference

Store 4 maps for geometry properties of the automaton. states_ map is used to store states coordinates. edges_ map is used to store the label position for edges. initials_ map is used to store the label position for initial transitions. finals_ map is used to store the label position for final transitions. More...

List of all members.

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.

---

Detailed Description

Store 4 maps for geometry properties of the automaton. states_ map is used to store states coordinates. edges_ map is used to store the label position for edges. initials_ map is used to store the label position for initial transitions. finals_ map is used to store the label position for final transitions.

---