<xs:complexType name="StandardState">
<xs:annotation>
<xs:documentation>This is a concrete implementation of the state element, which requires a symbol element, in this case restricted to integers, and optional mapping elements to refer to other states.</xs:documentation>
</xs:annotation>
<xs:complexContent>
<xs:restriction base="AbstractState">
<xs:sequence minOccurs="1" maxOccurs="1">
<xs:element name="meta" minOccurs="0" maxOccurs="unbounded" type="Meta"/>
</xs:sequence>
<xs:attribute name="symbol" type="StandardToken" use="required"/>
</xs:restriction>
</xs:complexContent>
</xs:complexType> |