diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-15 20:56:47 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-15 20:56:47 -0400 |
commit | c0c5a1644cc221352b8b9b370eea6a87677ba948 (patch) | |
tree | 4b1412577c568440b7098dc31691438ebc8e7e9d /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs | |
parent | Bump MDEOptimizer version (diff) | |
download | VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.gz VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.zst VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.zip |
Try fix statecode bug
Modified graph width calculation to not depend on order of nodes
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig index 4296e632..66c468d0 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig | |||
@@ -3,7 +3,7 @@ import viatra "src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/Satellit | |||
3 | 3 | ||
4 | generate { | 4 | generate { |
5 | metamodel = { package satellite excluding { InterferometryMission.observationTime } } | 5 | metamodel = { package satellite excluding { InterferometryMission.observationTime } } |
6 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } | 6 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } |
7 | partial-model = { "inputs/SatelliteInstance.xmi"} | 7 | partial-model = { "inputs/SatelliteInstance.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |