diff options
author | 2020-05-11 02:22:52 +0200 | |
---|---|---|
committer | 2020-05-11 02:22:52 +0200 | |
commit | 24f172f86601ae255dbfee265155ddc433338914 (patch) | |
tree | 123fbc0872701b7fd9f8f50cee32cf0f28db9eaf /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | |
parent | separated must and current UP rules to support non-prop neg finds (diff) | |
download | VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.gz VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.zst VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.zip |
Satelite case study update for Models-Attribute paper
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend index 5e4e4ef0..0ac66ce9 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | |||
@@ -12,6 +12,7 @@ final class SatelliteGeneratorMain { | |||
12 | public static def void main(String[] args) { | 12 | public static def void main(String[] args) { |
13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | 13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, |
14 | ReteBackendFactory.INSTANCE) | 14 | ReteBackendFactory.INSTANCE) |
15 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) | 15 | val res = StandaloneScriptExecutor.executeScript("configs/generation.vsconfig") |
16 | if(res!==null) println(res) | ||
16 | } | 17 | } |
17 | } | 18 | } |