From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 May 2019 13:46:38 -0400 Subject: Formalize CPS case study for optimization --- .../domains/satellite/runner/SatelliteGeneratorMain.java | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java deleted file mode 100644 index f6890163..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java +++ /dev/null @@ -1,15 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.domains.satellite.runner; - -import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor; -import org.eclipse.xtext.xbase.lib.InputOutput; - -@SuppressWarnings("all") -public final class SatelliteGeneratorMain { - private SatelliteGeneratorMain() { - throw new IllegalStateException("This is a static utility class and should not be instantiated directly."); - } - - public static void main(final String[] args) { - InputOutput.println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")); - } -} -- cgit v1.2.3-70-g09d2