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 = { |