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.