Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<!--
-->

<plugin>

   <extension point="org.eclipse.emf.ecore.generated_package">
      <!-- @generated PartialInterpretation -->
      <package
            uri="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
            class="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage"
            genModel="model/PartialInterpretation.genmodel"/>
   </extension>

   <extension point="org.eclipse.emf.ecore.generated_package">
      <!-- @generated PartialModelAnnotations -->
      <package
            uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"
            class="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage"
            genModel="model/PartialModelAnnotations.genmodel"/>
   </extension>

</plugin>