From d239ff5d82587220c7e157d18936351256bccffe Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Mon, 8 Apr 2019 23:19:31 +0200
Subject: Fix solution store for optimization

---
 .../configs/generation.vsconfig                                       | 4 ++--
 .../inputs/FamPatterns.vql                                            | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest')

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig
index c29d234a..72def8c5 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig
+++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig
@@ -7,11 +7,11 @@ generate {
 	partial-model = { "inputs/FamInstance.xmi"}
 	solver = ViatraSolver
 	scope = {
-		#node = 5
+		#node = 10
 	}
 	objectives = {
 		minimize cost {
-			hu.bme.mit.inf.dslreasoner.domains.fam::informationLink = 1
+			hu.bme.mit.inf.dslreasoner.domains.fam::functionalOutput = 1
 		}
 	}
 	
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
index 31b9286e..96bb5f3a 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
+++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/inputs/FamPatterns.vql
@@ -11,6 +11,6 @@ pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
 	FunctionalInput.terminator(In,T);
 }
 
-pattern informationLink(I : InformationLink) {
-	InformationLink(I);
+pattern functionalOutput(O : FunctionalOutput) {
+	FunctionalOutput(O);
 }
-- 
cgit v1.2.3-70-g09d2