Commit 0a52b43e authored by Michaël Cadilhac's avatar Michaël Cadilhac
Browse files

Change "type" to "label_type", part II.

- include/vaucanson/xml/xml_chooser.hh,
- include/vaucanson/xml/xml_chooser.hxx,
- include/vaucanson/xml/node.hxx,
- src/demos/automaton_library/a1.xml,
- src/demos/automaton_library/b1.xml,
- src/demos/automaton_library/c1.xml,
- src/demos/transducers/t1.xml,
- src/demos/transducers/u1.xml,
- src/vaucanson.xsd,
- doc/xml/xml_proposal.tex,
- doc/manual/examples/a1.xml,
- doc/manual/examples/b1.xml,
- doc/manual/examples/add1_rt.xml,
- doc/manual/examples/quot_3_rt.xml: s/type/label_type.
parent 8f59eba1
2006-04-23 Michal Cadilhac <michael.cadilhac@lrde.epita.fr>
Change "type" to "label_type", part II.
* include/vaucanson/xml/xml_chooser.hh,
* include/vaucanson/xml/xml_chooser.hxx,
* include/vaucanson/xml/node.hxx,
* src/demos/automaton_library/a1.xml,
* src/demos/automaton_library/b1.xml,
* src/demos/automaton_library/c1.xml,
* src/demos/transducers/t1.xml,
* src/demos/transducers/u1.xml,
* src/vaucanson.xsd,
* doc/xml/xml_proposal.tex,
* doc/manual/examples/a1.xml,
* doc/manual/examples/b1.xml,
* doc/manual/examples/add1_rt.xml,
* doc/manual/examples/quot_3_rt.xml: s/type/label_type.
2006-04-14 Michael Cadilhac <michael.cadilhac@lrde.epita.fr>
 
Fix use of XML according to VCSN_USE_XML or XML_CHECK.
......
<automaton name="a1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
</monoid>
<semiring operations="numerical" set="B"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<transducer name="T" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
......@@ -11,7 +11,7 @@
</monoid>
<semiring operations="numerical" set="B"/>
</semiring>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<automaton name="b1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
</monoid>
<semiring operations="numerical" set="Z"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<transducer xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
......@@ -11,7 +11,7 @@
</monoid>
<semiring operations="numerical" set="B"/>
</semiring>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
......@@ -311,12 +311,12 @@ alphabet would be defined as shown in figure \ref{alpha1}
\begin{figure}[h]
\begin{center}
\begin{alltt}
<type>
<label_type>
<monoid>
<generator value="a"/>
<generator value="b"/>
</monoid>
</type>
</label_type>
\end{alltt}
\caption{Setting $\{a, b\}$ alphabet}
......@@ -332,12 +332,12 @@ In like manner, one can also set a restriction on the alphabet like in Figure \r
\begin{figure}[h]
\begin{center}
\begin{alltt}
<type>
<label_type>
<monoid generators="digits" type="free">
<generator value="0"/>
<generator value="1"/>
</monoid>
</type>
</label_type>
\end{alltt}
\caption{Example of a restriction}
......@@ -466,7 +466,7 @@ the example \ref{ratseries1} so as to remain clear.
\begin{center}
\begin{alltt}
<transducer>
<type>
<label_type>
<monoid generators="digits" type="free">
<generator value="0"/>
<generator value="1"/>
......@@ -479,7 +479,7 @@ the example \ref{ratseries1} so as to remain clear.
</monoid>
<semiring operations="numerical" set="B"/>
</semiring>
</type>
</label_type>
<content>
...
</content>
......@@ -663,12 +663,12 @@ which means that usual laws over $\mathbb{B}$ shall be applied.
\begin{figure}[h]
\begin{center}
\begin{alltt}
<type>
<label_type>
<monoid type="free" generators="letters">
<generator range="ascii"/>
</monoid>
<semiring set="B" operations="numerical"/>
</type>
</label_type>
\end{alltt}
\caption{Default type for an automaton}
......@@ -680,7 +680,7 @@ which means that usual laws over $\mathbb{B}$ shall be applied.
\begin{figure}[h]
\begin{center}
\begin{alltt}
<type>
<label_type>
<monoid type="product">
<monoid type="free" generators="letters">
<generator range="ascii"/>
......@@ -690,7 +690,7 @@ which means that usual laws over $\mathbb{B}$ shall be applied.
</monoid>
</monoid>
<semiring set="B" operations="numerical"/>
</type>
</label_type>
\end{alltt}
\caption{Default type for a transducer}
......
......@@ -118,9 +118,9 @@ namespace vcsn
PROCESS_NODE(transitions)
/*-------.
| <type> |
`-------*/
/*-------------.
| <label_type> |
`-------------*/
template <class T>
void process_type(xercesc::DOMElement* node, T& aut,
typename Node<T>::map_t& m,
......
......@@ -28,8 +28,8 @@
/**
* @file xml_chooser.hh
*
* XML specialized class, providing methods to create <type> tag and to
* create labels in the XML document.
* XML specialized class, providing methods to create <label_type> tag
* and to create labels in the XML document.
*
* @see vcsn::xml::xml_converter, vcsn::xml::Node
*
......
......@@ -20,8 +20,8 @@
/**
* @file xml_chooser.hxx
*
* XML specialized class, providing methods to create <type> tag and to
* create labels in the XML document.
* XML specialized class, providing methods to create <label_type> tag
* and to create labels in the XML document.
*
* @see vcsn::xml::xml_converter, vcsn::xml::Node
*
......
<automaton name="a1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
</monoid>
<semiring operations="numerical" set="B"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<automaton name="b1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
</monoid>
<semiring operations="numerical" set="B"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<automaton name="c1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="free">
<generator value="a"/>
<generator value="b"/>
</monoid>
<semiring operations="numerical" set="Z"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<transducer name="t1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="product">
<monoid generators="letters" type="free">
<generator value="a"/>
......@@ -11,7 +11,7 @@
</monoid>
</monoid>
<semiring operations="numerical" set="B"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
<transducer name="u1" xmlns="http://vaucanson.lrde.epita.fr">
<type>
<label_type>
<monoid generators="letters" type="product">
<monoid generators="letters" type="free">
<generator value="a"/>
......@@ -11,7 +11,7 @@
</monoid>
</monoid>
<semiring operations="numerical" set="B"/>
</type>
</label_type>
<content>
<states>
<state name="s0"/>
......
......@@ -249,7 +249,7 @@ The monoid type is broken in two parts, for automata and transducers.
<!--
<type> tag properties. This tag encapsulates semiring and monoid
<label_type> tag properties. This tag encapsulates semiring and monoid
definitions to entirely define the algebraic structure the automaton /
transducer is working on. This tag is optionnal if you want to use
default values. You can specify only one of the monoid / semiring tag,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment