From a620f07468780778bd55dcffc30245def37ece69 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 6 Aug 2020 16:07:16 +0200
Subject: MoDeS3 unit propagation WIP

---
 Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml | 28 ++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml

(limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml')

diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml b/Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml
new file mode 100644
index 00000000..7341e19c
--- /dev/null
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!--
+--><plugin>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated modes3 -->
+    <package class="modes3.Modes3Package" genModel="model/modes3.genmodel" uri="http://www.ece.mcgill.ca/wcet/modes3"/>
+  </extension>
+  <extension id="modes3.queries.Modes3Queries" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:modes3.queries.Modes3Queries" id="modes3.queries.Modes3Queries">
+      <query-specification fqn="modes3.queries.turnoutInSegments"/>
+      <query-specification fqn="modes3.queries.connectedTo"/>
+      <query-specification fqn="modes3.queries.connectedToNotSymmetric"/>
+      <query-specification fqn="modes3.queries.connectedToReflexive"/>
+      <query-specification fqn="modes3.queries.turnoutOutput"/>
+      <query-specification fqn="modes3.queries.outputReflexive"/>
+      <query-specification fqn="modes3.queries.turnoutOutputsAreSame"/>
+      <query-specification fqn="modes3.queries.turnout"/>
+      <query-specification fqn="modes3.queries.output"/>
+      <query-specification fqn="modes3.queries.tooManyInputsOfSegment"/>
+      <query-specification fqn="modes3.queries.turnoutConnectedToBothOutputs"/>
+      <query-specification fqn="modes3.queries.extraInputOfTurnout"/>
+      <query-specification fqn="modes3.queries.noExtraInputOfTurnout"/>
+      <query-specification fqn="modes3.queries.tooManyExtraInputsOfTurnout"/>
+      <query-specification fqn="modes3.queries.adjacent"/>
+      <query-specification fqn="modes3.queries.reachable"/>
+      <query-specification fqn="modes3.queries.unreachable"/>
+    </group>
+  </extension>
+</plugin>
-- 
cgit v1.2.3-70-g09d2