| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
Definition of a predicate constant. The attributes "name" and "arguments" must be unique within one QEDEQ module.
Nested Element Summary | |
| DESCRIPTION Additional description. |
| FORMULA Equivalence formula with two operands. |
xs:string | LATEXPATTERN LaTeX pattern for predicate with arguments as #<n>. |
Attribute Summary | |
xs:NMTOKEN | arguments Number of arguments for the new predicate. |
xs:string | name Name for the new predicate. |
Attribute Detail |
xs:NMTOKEN
required
unqualified
xs:string
required
unqualified
<xs:element name="DEFINITION_PREDICATE" substitutionGroup="NODETYPE"><xs:complexType></xs:element><xs:sequence><xs:element name="LATEXPATTERN" type="xs:string">
</xs:element><xs:element minOccurs="0" name="DESCRIPTION"></xs:sequence><xs:complexType></xs:element>
</xs:complexType><xs:attribute name="arguments" type="xs:NMTOKEN" use="required">
</xs:attribute><xs:attribute name="name" type="xs:string" use="required"></xs:complexType>
</xs:attribute>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |