blob: 5247ec5697afef024017391fb8789986c59efbcd [file] [log] [blame]
<?xml version="1.0" encoding="ASCII"?>
<vqSnapshot:QuerySnapshot xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:vqSnapshot="http://www.eclipse.org/viatra/query/snapshot" inputSpecification="ResourceSet">
<matchSetRecords patternQualifiedName="org.eclipse.viatra.examples.cps.tests.queries.increasingAlphabeticalCommunicationChainTC">
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst2"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst2"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst0"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst3"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst3"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst0"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst2"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst4"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst1"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst1"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst0"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst4"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst4"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst3"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst4"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst1"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst0"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst2"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst0"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst0"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst3"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst1"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst4"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst0"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst3"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst2"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst2"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst3"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst4"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst2"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst2"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst0"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst0"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst1"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst2"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst1"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst1"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst4"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst3"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst3"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst1"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst0"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst1"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst2"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst4"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst4"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst3"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst4"/>
</substitutions>
</matches>
<matches>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI0">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.FirstHostClass0.inst1"/>
</substitutions>
<substitutions xsi:type="vqSnapshot:EMFSubstitution" parameterName="HI1">
<value href="../instances/demo.cyberphysicalsystem#simple.cps.host.SecondHostClass0.inst3"/>
</substitutions>
</matches>
<filter/>
</matchSetRecords>
<modelRoots href="../instances/demo.cyberphysicalsystem#testModel6504822858552"/>
<modelRoots href="test_recursion_chainRec.snapshot#/"/>
</vqSnapshot:QuerySnapshot>