
Public Member Functions | |
| AutPrinter (const Auto &aut, const std::string &name="") | |
| virtual | ~AutPrinter () |
| void | print (std::ostream &out) |
Protected Types | |
| typedef Auto::hstate_t | hstate_t |
| typedef Auto::htransition_t | htransition_t |
|
typedef std::map< hstate_t, std::string > | map_t |
| typedef Auto::set_t | auto_set_t |
| typedef Auto::value_t | auto_impl_t |
| typedef Auto::series_set_elt_t | series_set_elt_t |
Protected Member Functions | |
| std::string | create_state (hstate_t s, xercesc::DOMElement *root) |
| void | create_transition (htransition_t e, xercesc::DOMElement *root) |
| void | create_initial (hstate_t s, xercesc::DOMElement *root) |
| void | create_final (hstate_t s, xercesc::DOMElement *root) |
| void | create_geometry (hstate_t &, xercesc::DOMElement *root) |
Protected Attributes | |
| const Auto & | aut_ |
| const std::string & | name_ |
| map_t | state2str_ |
| xercesc::DOMImplementation * | impl_ |
| xercesc::DOMDocument * | doc_ |
| xercesc::DOMElement * | root_ |
Definition at line 57 of file printers.hh.
1.5.1