Example updated

2 files changed, 3 insertions, 7 deletions

diff --git a/Domains/Examples/ModelGenExampleFAM_standalone/FamGeneration.vsconfig b/Domains/Examples/ModelGenExampleFAM_standalone/FamGeneration.vsconfig
index 30e6adfa..166c551c 100644
--- a/Domains/Examples/ModelGenExampleFAM_standalone/FamGeneration.vsconfig
+++ b/Domains/Examples/ModelGenExampleFAM_standalone/FamGeneration.vsconfig
@@ -1,13 +1,13 @@
 import epackage "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamMetamodel.ecore"

 import viatra   "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamPatterns.vql"

 

-file LogFile = "platform:/resource/ModelGenExampleFAM/outputs/log.txt"

 generate {

         metamodel = { package functionalarchitecture }

-        patterns = { package hu.bme.mit.inf.dslreasoner.domains.fam excluding { model } }

+        constraints = { package hu.bme.mit.inf.dslreasoner.domains.fam  }

+        partial-model = { "platform:/resource/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi"}

         solver = ViatraSolver

         scope = {

-                #node = 10

+                #node = 5

         }

         

         config = {

diff --git a/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi b/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi
index 9e3561d2..f91e0af0 100644
--- a/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi
+++ b/Domains/Examples/ModelGenExampleFAM_standalone/inputs/FamInstance.xmi
@@ -5,8 +5,4 @@
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

     xmlns:functionalarchitecture="http://www.inf.mit.bme.hu/viatrasolver/example/fam"

     xsi:schemaLocation="http://www.inf.mit.bme.hu/viatrasolver/example/fam FamMetamodel.ecore">

-  <rootElements

-      xsi:type="functionalarchitecture:Function"/>

-  <rootElements

-      xsi:type="functionalarchitecture:Function"/>

 </functionalarchitecture:FunctionalArchitectureModel>