Afficher:

Annotations
Attributs
Diagramme
Propriétés
Source
Utilisé par
Schémas inclus logic.xsd
Espace de nommage http://www.erudit.org/xsd/article
Annotations
This is an XML Schema module for the logic operators of content MathML. Author: Stphane Dalmas, INRIA.
Propriétés
attribute form default: unqualified
element form default: qualified
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément and
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib elementary-functions_xsd.tmp#Elementary-functions.type
Type Elementary-functions.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="and" type="Elementary-functions.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément or
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="or" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément xor
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="xor" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément not
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="not" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément exists
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="exists" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément forall
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="forall" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Élément implies
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib logic_xsd.tmp#Logic.type
Type Logic.type
Propriétés
content: complex
Utilisé par
Groupe(s) d'élément Content-logic.class
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:element name="implies" type="Logic.type"/>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Type complexe Logic.type
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme common-attrib_xsd.tmp#Definition.attrib common-attribs_xsd.tmp#Common.attrib
Utilisé par
Élément exists, forall, implies, not, or, xor
Attributs
Nom Type Valeur fixe Valeur par défaut Utilisation Annotation
ANY attribute from ANY namespace OTHER than 'http://www.w3.org/1998/Math/MathML'
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
Source
 
<xs:complexType name="Logic.type">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:complexType>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Groupe d'élément Content-logic.class
Espace de nommage http://www.w3.org/1998/Math/MathML
Diagramme
Diagramme logic_xsd.tmp#and logic_xsd.tmp#or logic_xsd.tmp#xor logic_xsd.tmp#not logic_xsd.tmp#exists logic_xsd.tmp#forall logic_xsd.tmp#implies
Utilisé par
Groupe(s) d'élément ContExpr.class
Modèle and | or | xor | not | exists | forall | implies
Enfants 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>
Localisation du schéma http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd
Documentation du schéma XML généré par ® XML Editor.