From f06427cd7375551582461f91b3458339a8227f9b Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Mon, 2 Nov 2020 02:02:40 +0100
Subject: Optimizing generator with linear objective functions

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

(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
index a105a729..f7d32541 100644
--- a/Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/plugin.xml
@@ -21,6 +21,24 @@
       <query-specification fqn="modes3.queries.tooFewInputsOfTurnout"/>
       <query-specification fqn="modes3.queries.reachable"/>
       <query-specification fqn="modes3.queries.unreachable"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_2"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_3"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_4"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_5"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_6"/>
+      <query-specification fqn="modes3.queries.closeTrains_step_7"/>
+      <query-specification fqn="modes3.queries.trainLocations_step_2"/>
+      <query-specification fqn="modes3.queries.trainLocations_step_3"/>
+      <query-specification fqn="modes3.queries.misalignedTurnout_step_2"/>
+      <query-specification fqn="modes3.queries.misalignedTurnout_step_3"/>
+      <query-specification fqn="modes3.queries.misalignedTurnout_step_4"/>
+      <query-specification fqn="modes3.queries.misalignedTurnout_step_5"/>
+      <query-specification fqn="modes3.queries.connectedSegmentsDirected"/>
+      <query-specification fqn="modes3.queries.endOfSiding_step_2"/>
+      <query-specification fqn="modes3.queries.endOfSiding_step_3"/>
+      <query-specification fqn="modes3.queries.endOfSiding_step_4"/>
+      <query-specification fqn="modes3.queries.endOfSiding_step_5"/>
+      <query-specification fqn="modes3.queries.multipleConnectedTo"/>
     </group>
   </extension>
 </plugin>
-- 
cgit v1.2.3-70-g09d2