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

noNamespace
element QUANTIFIER_INTERSECTION

Documentation
Logical language: Intersection about all classes that fullfil a property.
Properties
This component is not nillable.
Model
<QUANTIFIER_INTERSECTION>
(VAR, FORMULATYPE )
</QUANTIFIER_INTERSECTION>

Nested Element Summary
 FORMULATYPE
          
 VAR
          
Source
<xs:element name="QUANTIFIER_INTERSECTION" substitutionGroup="TERMTYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element maxOccurs="1" minOccurs="1" ref="VAR"/>
      <xs:element maxOccurs="1" minOccurs="1" ref="FORMULATYPE"/>
    </xs:sequence>
  </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.