noNamespace
element DEFINITION_PREDICATE

Documentation

Definition of a predicate constant. The attributes "name" and "arguments" must be unique within one QEDEQ module.

Properties

This component is not nillable.

Model

<DEFINITION_PREDICATE
  arguments = xs:NMTOKEN
  name = xs:string>
(LATEXPATTERN, VARLIST, FORMULA?, DESCRIPTION )
</DEFINITION_PREDICATE>

arguments

Number of arguments for the new predicate.

Type:

xs:NMTOKEN

Use:

required

Form:

unqualified

name

Name for the new predicate.

Type:

xs:string

Use:

required

Form:

unqualified

Source

<xs:element name="DEFINITION_PREDICATE" substitutionGroup="NODETYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element name="LATEXPATTERN" type="xs:string">
      </xs:element>
      <xs:element name="VARLIST" minOccurs="0">
        <xs:complexType>
          <xs:sequence>
            <xs:element ref="VAR" minOccurs="1" maxOccurs="unbounded"/>
          </xs:sequence>
        </xs:complexType>
      </xs:element>
      <xs:element ref="FORMULA" minOccurs="0"/>
      <xs:element name="DESCRIPTION" minOccurs="0">
        <xs:complexType>
          <xs:sequence>
            <xs:element ref="LATEX" minOccurs="1" maxOccurs="unbounded"/>
          </xs:sequence>
        </xs:complexType>
      </xs:element>
    </xs:sequence>
    <xs:attribute name="arguments" type="xs:NMTOKEN" use="required">
    </xs:attribute>
    <xs:attribute name="name" type="xs:string" use="required">
    </xs:attribute>
  </xs:complexType>
</xs:element>