diff options
author | 2019-04-08 23:19:31 +0200 | |
---|---|---|
committer | 2019-04-08 23:19:31 +0200 | |
commit | d239ff5d82587220c7e157d18936351256bccffe (patch) | |
tree | 14f46882a6e661cd982bf841427db8f224162169 /Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs | |
parent | Objective POC implementation (diff) | |
download | VIATRA-Generator-d239ff5d82587220c7e157d18936351256bccffe.tar.gz VIATRA-Generator-d239ff5d82587220c7e157d18936351256bccffe.tar.zst VIATRA-Generator-d239ff5d82587220c7e157d18936351256bccffe.zip |
Fix solution store for optimization
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig | 4 |
1 files changed, 2 insertions, 2 deletions
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 { | |||
7 | partial-model = { "inputs/FamInstance.xmi"} | 7 | partial-model = { "inputs/FamInstance.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |
10 | #node = 5 | 10 | #node = 10 |
11 | } | 11 | } |
12 | objectives = { | 12 | objectives = { |
13 | minimize cost { | 13 | minimize cost { |
14 | hu.bme.mit.inf.dslreasoner.domains.fam::informationLink = 1 | 14 | hu.bme.mit.inf.dslreasoner.domains.fam::functionalOutput = 1 |
15 | } | 15 | } |
16 | } | 16 | } |
17 | 17 | ||