<?xml version="1.0" encoding="UTF-8"?>
<!-- Meta-model for PNML specification -->
<!-- Provided by www.pnml.org -->
<ecore:EPackage xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="arbitrarydeclarations"
    nsURI="http:///hlpn.arbitrarydeclarations.ecore" nsPrefix="arbitrarydeclarations">
  <eClassifiers xsi:type="ecore:EClass" name="ArbitrarySort" eSuperTypes="terms.ecore#//SortDecl"/>
  <eClassifiers xsi:type="ecore:EClass" name="ArbitraryOperator" eSuperTypes="terms.ecore#//OperatorDecl">
    <eStructuralFeatures xsi:type="ecore:EReference" name="input" upperBound="-1"
        eType="#//AnySort" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
        eType="#//AnySort" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Unparsed" eSuperTypes="terms.ecore#//TermsDeclaration">
    <eStructuralFeatures xsi:type="ecore:EReference" name="unparsedModel" eType="ecore:EClass hlcorestructure.ecore#//AnyObject"
        containment="true" eOpposite="hlcorestructure.ecore#//AnyObject/containerUnparsed"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AnySort" eSuperTypes="terms.ecore#//Sort">
    <eAnnotations source="http://www.pnml.org/models/methods/SORT">
      <details key="signature" value="boolean equalSorts(Sort sort)"/>
      <details key="body" value=""/>
      <details key="documentation" value="/**&#xD; * Returns true if this sort and argument sort are actually &#xD; * semantically the same sort, even in two different objects.&#xD; * Ex: two FiniteEnumerations or two Integers.&#xD; * @return true if so. &#xD; * @param sort the sort to which we compare this one. &#xD; */"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="anySortModel" eType="ecore:EClass hlcorestructure.ecore#//AnyObject"
        eOpposite="hlcorestructure.ecore#//AnyObject/containerAnySort"/>
  </eClassifiers>
</ecore:EPackage>

