Formalize CPS case study for optimization

1 files changed, 0 insertions, 15 deletions

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.<String>println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig"));
-  }
-}