Commit 0b18a903 authored by Florent Terrones's avatar Florent Terrones
Browse files

2006-05-13 Florent Terrones <terron_f@lrde.epita.fr>

	* src/vaucanson.xsd: Add `label' nodes to allow one to write labels like
	`(a,b)+(b,a)' on FMP.
	Add forgotten `in' and `out' label nodes in `initial_transducer' and
	`final_transducer' nodes.
parent 2b5a2cbc
2006-05-13 Florent Terrones <terron_f@lrde.epita.fr>
* src/vaucanson.xsd: Add `label' nodes to allow one to write labels like
`(a,b)+(b,a)' on FMP.
Add forgotten `in' and `out' label nodes in `initial_transducer' and
`final_transducer' nodes.
2006-05-13 Michal Cadilhac <michael.cadilhac@lrde.epita.fr>
Don't consider - or _ in command name of TAF-Kit.
......
......@@ -373,6 +373,7 @@ properties can be set with the <drawing> tag.
<xs:sequence>
<xs:element name="geometry" type="geometry_state" minOccurs="0"/>
<xs:element name="drawing" type="drawing" minOccurs="0"/>
<xs:element name="label" type="expression_label" minOccurs="0"/>
</xs:sequence>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="label" type="xs:string"/>
......@@ -421,6 +422,7 @@ labeled with the identity on the monoid.
<xs:element name="drawing" type="drawing" minOccurs="0"/>
<xs:element name="in" type="expression_label" minOccurs="0"/>
<xs:element name="out" type="expression_label" minOccurs="0"/>
<xs:element name="label" type="expression_label" minOccurs="0"/>
</xs:sequence>
<xs:attribute name="src" type="xs:string" use="required"/>
<xs:attribute name="dst" type="xs:string" use="required"/>
......@@ -492,6 +494,9 @@ and drawing properties.
<xs:sequence>
<xs:element name="geometry" type="geometry_trans" minOccurs="0"/>
<xs:element name="drawing" type="drawing" minOccurs="0"/>
<xs:element name="in" type="expression_label" minOccurs="0"/>
<xs:element name="out" type="expression_label" minOccurs="0"/>
<xs:element name="label" type="expression_label" minOccurs="0"/>
</xs:sequence>
<xs:attribute name="state" type="xs:string" use="required"/>
<xs:attribute name="label" type="xs:string"/>
......@@ -519,6 +524,9 @@ and drawing properties.
<xs:sequence>
<xs:element name="geometry" type="geometry_trans" minOccurs="0"/>
<xs:element name="drawing" type="drawing" minOccurs="0"/>
<xs:element name="in" type="expression_label" minOccurs="0"/>
<xs:element name="out" type="expression_label" minOccurs="0"/>
<xs:element name="label" type="expression_label" minOccurs="0"/>
</xs:sequence>
<xs:attribute name="state" type="xs:string" use="required"/>
<xs:attribute name="label" type="xs:string"/>
......
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