Functions | |
template<class S, class T, class U> | |
void | add_label (xercesc::DOMElement *elt, const Element< S, T > &, const U &series) |
template<class S, class T, class U> | |
void | add_xml_label (xercesc::DOMDocument *doc, xercesc::DOMElement *elt, const Element< S, T > &a, const U &series) |
template<class S, class T, class U, class M1, class M2> | |
void | add_label (xercesc::DOMElement *elt, const FMPtype &, const U &series) |
template<class S, class T, class U, class M1, class M2> | |
void | add_xml_label (xercesc::DOMDocument *doc, xercesc::DOMElement *elt, const FMPtype &a, const U &series) |
template<class S, class T, class U> | |
void | add_label (xercesc::DOMElement *elt, const Element< Transducer< S >, T > &, const U &series) |
template<class S, class T, class U> | |
void | add_xml_label (xercesc::DOMDocument *doc, xercesc::DOMElement *elt, const Element< Transducer< S >, T > &a, const U &series) |
template<class L> | |
const std::string | get_label (const L &l) |
const std::string | get_label (const bool &l) |
const std::string | get_label (const std::pair< std::string, std::string > &l) |
template<class S, class Series> | |
const std::string | get_label (const Element< Series, vcsn::algebra::polynom< S, bool > > &l) |
template<class A> | |
void | create_alphabet (const A &alphabet, xercesc::DOMDocument *doc, xercesc::DOMElement *root) |
template<class M> | |
xercesc::DOMElement * | create_monoid (const M &monoid, xercesc::DOMDocument *doc, xercesc::DOMElement *elt) |
template<class A, class S> | |
xercesc::DOMElement * | create_semiring (const A &, const S &semiring, xercesc::DOMDocument *doc, xercesc::DOMElement *elt) |
template<class S, class T> | |
xercesc::DOMElement * | create_semiring (const Element< Transducer< S >, T > &, const vcsn::algebra::NumericalSemiring &semiring, xercesc::DOMDocument *doc, xercesc::DOMElement *elt) |
template<class S, class T> | |
const char * | get_semiring_set (const S &, const T &) |
template<class S, class U, class V> | |
const char * | get_semiring_set (const S &, const vcsn::rat::exp< U, V > &) |
template<class S> | |
const char * | get_semiring_set (const S &, const bool &) |
template<class S> | |
const char * | get_semiring_set (const S &, const double &) |
template<class S> | |
const char * | get_semiring_set (const S &, const float &) |
template<class S> | |
const char * | get_semiring_set (const S &, const int &) |
template<class S> | |
const char * | get_semiring_operations (const S &) |
template<class S> | |
const char * | get_monoid_type (const S &) |
template<class S> | |
const char * | get_monoid_type (const vcsn::algebra::FreeMonoid< S > &) |
template<class S1, class S2> | |
const char * | get_monoid_type (const vcsn::algebra::FreeMonoidProduct< S1, S2 > &) |
template<class T> | |
std::string | get_rec_xml_series (xercesc::DOMNode *n, T &aut, std::string op_type="", std::string res="") |
template<class T> | |
T::series_set_elt_t | get_series (xercesc::DOMElement *node, T &aut) |
Get series from a XML label node. | |
TParmFMP FMPtype::series_set_elt_t | get_series (xercesc::DOMElement *node, FMPtype &a) |
TParm TRANStype::series_set_elt_t | get_series (xercesc::DOMElement *node, TRANStype &a) |
template<class S, class T, class E1, class E2, class R> | |
void | assoc_exp (TRANStype &a, E1 &i_exp, E2 &o_exp, R &res, bool i_res, bool o_res) |
template<class S, class T, class M1, class M2, class E1, class E2, class R> | |
void | assoc_exp (FMPtype &a, E1 &i_exp, E2 &o_exp, R &res, bool i_res, bool o_res) |
template<class A, class A1, class A2, class S> | |
void | parse_label (xercesc::DOMElement *node, A &a, const A1 &alphabet1, const A2 &alphabet2, S &res) |
template<class U, class V> | |
void | insert_letter (Element< vcsn::algebra::AlphabetSet< U >, V > &, const std::string &) |
Insert a letter in an alphabet. | |
template<class V> | |
void | insert_letter (Element< vcsn::algebra::AlphabetSet< char >, V > &a, const std::string &str) |
template<class T, class U> | |
void | ensure_semiring_type (const xercesc::DOMElement *node, const T &, const U ¶m) |
Check semiring conformance of the automaton w.r.t. | |
template<class S, class T> | |
void | ensure_semiring_type (const xercesc::DOMElement *node, const Element< Transducer< S >, T > &, const typename Element< Transducer< S >, T >::semiring_t::semiring_t ¶m) |
template<class S, class T, class U> | |
void | ensure_semiring_type (const xercesc::DOMElement *node, const Element< Transducer< S >, T > &, const typename Element< Transducer< S >, T >::semiring_t ¶m) |
template<class U> | |
void | ensure_monoid_type (const xercesc::DOMElement *node, const U ¶m) |
Check semiring conformance of the automaton w.r.t. | |
template<class S, class T, class U, class M1, class M2> | |
void | ensure_monoid_type (const xercesc::DOMElement *node, const FMPtype ¶m) |
template<class OStream> | |
void | print_transition (const xercesc::DOMElement *n, OStream &os, std::string &spacing) |
template<class OStream> | |
void | print_tree (const xercesc::DOMElement *node, OStream &os, std::string spacing) |
template<class OStream> | |
void | print_document (xercesc::DOMElement *node, OStream &os) |
Print XML tree to output stream. |
|
Get series from a XML label node.
Definition at line 493 of file xml/tools.hxx. References get_rec_xml_series(), get_series(), identity_as::of(), vcsn::algebra::parse(), and vcsn::xml::xml2str(). Referenced by get_series(). |
|
Insert a letter in an alphabet.
Definition at line 687 of file xml/tools.hxx. References insert_letter(). Referenced by insert_letter(). |
|
Check semiring conformance of the automaton w.r.t. XML node.
Definition at line 713 of file xml/tools.hxx. References ensure_semiring_type(), and vcsn::xml::xml2str(). Referenced by ensure_semiring_type(). |
|
Check semiring conformance of the automaton w.r.t. XML node.
Definition at line 785 of file xml/tools.hxx. References ensure_monoid_type(), and vcsn::xml::xml2str(). Referenced by ensure_monoid_type(). |
|
Print XML tree to output stream.
Definition at line 888 of file xml/tools.hxx. References print_document(), and print_tree(). Referenced by print_document(). |