diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | 4 |
1 files changed, 4 insertions, 0 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 3d2cbbc7..5e4e4ef0 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 | |||
@@ -1,6 +1,8 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner | 1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner |
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor | 3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor |
4 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions | ||
5 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory | ||
4 | 6 | ||
5 | final class SatelliteGeneratorMain { | 7 | final class SatelliteGeneratorMain { |
6 | private new() { | 8 | private new() { |
@@ -8,6 +10,8 @@ final class SatelliteGeneratorMain { | |||
8 | } | 10 | } |
9 | 11 | ||
10 | public static def void main(String[] args) { | 12 | public static def void main(String[] args) { |
13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | ||
14 | ReteBackendFactory.INSTANCE) | ||
11 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) | 15 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) |
12 | } | 16 | } |
13 | } | 17 | } |