Showing:

Annotations
Attributes
Diagrams
Model
Properties
Source
Used by
Included schema logic.xsd
Namespace http://www.w3.org/1998/Math/MathML
Annotations
This is an XML Schema module for the logic operators of content MathML. Author: Stéphane Dalmas, INRIA.
Properties
attribute form default unqualified
element form default qualified
Element and
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attribelementary-functions_xsd.tmp#Elementary-functions.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="and" type="Elementary-functions.type"/>
Element or
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="or" type="Logic.type"/>
Element xor
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="xor" type="Logic.type"/>
Element not
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="not" type="Logic.type"/>
Element exists
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="exists" type="Logic.type"/>
Element forall
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="forall" type="Logic.type"/>
Element implies
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attriblogic_xsd.tmp#Logic.type
Properties
content complex
Used by
Element Group Content-logic.class
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:element name="implies" type="Logic.type"/>
Complex Type Logic.type
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramcommon-attrib_xsd.tmp#Definition.attribcommon-attribs_xsd.tmp#Common.attrib
Used by
Elements exists, forall, implies, not, or, xor
Attributes
QName Type Use
class xs:NMTOKENS optional
definitionURL xs:anyURI optional
encoding xs:string optional
id xs:ID optional
style xs:string optional
xlink:href anyURI optional
xref xs:IDREF optional
Wildcard: ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
Source
 
<xs:complexType name="Logic.type">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:complexType>
Element Group Content-logic.class
Namespace http://www.w3.org/1998/Math/MathML
Diagram
Diagramlogic_xsd.tmp#andlogic_xsd.tmp#orlogic_xsd.tmp#xorlogic_xsd.tmp#notlogic_xsd.tmp#existslogic_xsd.tmp#foralllogic_xsd.tmp#implies
Used by
Element Group ContExpr.class
Model
and | or | xor | not | exists | forall | implies
Children and, exists, forall, implies, not, or, xor
Source
 
<xs:group name="Content-logic.class">
  <xs:choice>
    <xs:element ref="and"/>
    <xs:element ref="or"/>
    <xs:element ref="xor"/>
    <xs:element ref="not"/>
    <xs:element ref="exists"/>
    <xs:element ref="forall"/>
    <xs:element ref="implies"/>
  </xs:choice>
</xs:group>
XML Schema documentation generated by ® XML Editor.