Overview Namespace Component Index Help 
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCEFRAMES | NO FRAMES

noNamespace
element PREDVAR

Documentation
Logical language: Predicate variable.
Properties
This component is not nillable.
Model
<PREDVAR
  id = xs:string>
TERMTYPE*
</PREDVAR>

Nested Element Summary
 TERMTYPE
          

Attribute Summary
 xs:stringid
          Identifies a predicate variable. 

Attribute Detail

id

Identifies a predicate variable. Also used as a LaTeX expression for this variable.

Type:
xs:string
Use:
required
Form:
unqualified
Source
<xs:element name="PREDVAR" substitutionGroup="FORMULATYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element maxOccurs="unbounded" minOccurs="0" ref="TERMTYPE"/>
    </xs:sequence>
    <xs:attribute name="id" type="xs:string" use="required">
    </xs:attribute>
  </xs:complexType>
</xs:element>
Overview Namespace Component Index Help 
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCEFRAMES | NO FRAMES
Submit a bug or a feature.
Created by xsddoc, a sub project of xframe, hosted at http://xframe.sourceforge.net.