From 945f487a08b643392a5d5918c631640b9a0e4605 Mon Sep 17 00:00:00 2001
From: 20001LastOrder <boqi.chen@mail.mcgill.ca>
Date: Tue, 3 Nov 2020 22:52:26 -0500
Subject: add realistic solver

---
 .../yakinduGeneration.vsconfig                     | 106 +++++++++++++++++++++
 1 file changed, 106 insertions(+)
 create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig

(limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig')

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
new file mode 100644
index 00000000..56921884
--- /dev/null
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
@@ -0,0 +1,106 @@
+import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore"
+import viatra	"../../../Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql"
+
+generate {
+	metamodel = { package yakindumm excluding { Synchronization}}
+    constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
+	partial-model = { "inputs/start.xmi"}
+
+	solver = ViatraSolver
+	
+	scope = {
+		#node = 100
+	}
+	
+	number = 1
+	runs = 1
+	config = {
+		log-level = none,
+		"optional-wf" = "false",
+		"realistic-guidance" = "Composite",
+		"allow-must-violations" = "false",
+		"domain" = "Yakindumm"
+	}
+	
+	statistics = "statistics/Yakindu/warmup.csv"  //give different set up different filenames
+	debug = "debug"
+	output = "output/Yakindu/run_time/"
+}
+
+// generate {
+// 	metamodel = { package yakindumm excluding { Synchronization}}
+// 	constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
+// 	partial-model = { "inputs/start.xmi"}
+
+// 	solver = ViatraSolver
+	
+// 	scope = {
+// 		#node = 140
+// 	}
+	
+// 	number = 1
+// 	runs = 20
+// 	config = {
+// 		log-level = none,
+// 		"optional-wf" = "false",
+// 		"realistic-guidance" = "Composite",
+// 		"allow-must-violations" = "false",
+// 		"domain" = "Yakindumm"
+// 	}
+	
+// 	statistics = "statistics/Yakindu/140.csv"  //give different set up different filenames
+// 	debug = "debug"
+// 	output = "output/Yakindu/run_time/"
+// }
+
+// generate {
+// 	metamodel = { package yakindumm excluding { Synchronization}}
+// 	constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
+// 	partial-model = { "inputs/start.xmi"}
+
+// 	solver = ViatraSolver
+	
+// 	scope = {
+// 		#node = 160
+// 	}
+	
+// 	number = 1
+// 	runs = 20
+// 	config = {
+// 		log-level = none,
+// 		"optional-wf" = "false",
+// 		"realistic-guidance" = "Composite",
+// 		"allow-must-violations" = "false",
+// 		"domain" = "Yakindumm"
+// 	}
+	
+// 	statistics = "statistics/Yakindu/160.csv"  //give different set up different filenames
+// 	debug = "debug"
+// 	output = "output/Yakindu/run_time/"
+// }
+
+// generate {
+// 	metamodel = { package yakindumm excluding { Synchronization}}
+// 	constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu }
+// 	partial-model = { "inputs/start.xmi"}
+
+// 	solver = ViatraSolver
+	
+// 	scope = {
+// 		#node = 180
+// 	}
+	
+// 	number = 1
+// 	runs = 20
+// 	config = {
+// 		log-level = none,
+// 		"optional-wf" = "false",
+// 		"realistic-guidance" = "Composite",
+// 		"allow-must-violations" = "false",
+// 		"domain" = "Yakindumm"
+// 	}
+	
+// 	statistics = "statistics/Yakindu/180.csv"  //give different set up different filenames
+// 	debug = "debug"
+// 	output = "output/Yakindu/run_time/"
+// }
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf