12 files changed, 0 insertions, 250 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.gitignore
deleted file mode 100644
index 478b3143..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.ExcludedMoeaOptimisation.java._trace
-/.ExcludedOptimisationInterpreter.java._trace
-/.ExcludedRun.java._trace
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.CostObjective.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.CostObjective.xtendbin
deleted file mode 100644
index f8273db1..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.CostObjective.xtendbin
+++ /dev/null
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.LocalSearchEngineManager.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.LocalSearchEngineManager.xtendbin
deleted file mode 100644
index b92afd88..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.LocalSearchEngineManager.xtendbin
+++ /dev/null
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.MetricBasedGuidanceFunction.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.MetricBasedGuidanceFunction.xtendbin
deleted file mode 100644
index 456c7785..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.MetricBasedGuidanceFunction.xtendbin
+++ /dev/null
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.PatternMatchConstraint.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.PatternMatchConstraint.xtendbin
deleted file mode 100644
index 3b6e5310..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.PatternMatchConstraint.xtendbin
+++ /dev/null
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.SatelliteMdeOptimiserMain.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.SatelliteMdeOptimiserMain.xtendbin
deleted file mode 100644
index 11cbad32..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.SatelliteMdeOptimiserMain.xtendbin
+++ /dev/null
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.gitignore
deleted file mode 100644
index ed54e06a..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/.gitignore
+++ /dev/null
@@ -1,10 +0,0 @@
-/.SatellineMdeOptimiserMain.java._trace
-/.SatelliteMdeOptimiserMain.java._trace
-/.ExcludedMoeaOptimisation.java._trace
-/.ExcludedOptimisationInterpreter.java._trace
-/.ExcludedRun.java._trace
-/.LocalSearchEngineManager.java._trace
-/.PatternMatchConstraint.java._trace
-/.PatternCostConstraint.java._trace
-/.MetricBasedGuidanceFunction.java._trace
-/.CostObjective.java._trace
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/LocalSearchEngineManager.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/LocalSearchEngineManager.java
deleted file mode 100644
index 18708a37..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/LocalSearchEngineManager.java
+++ /dev/null
@@ -1,39 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries;
-import java.util.WeakHashMap;
-import java.util.function.Function;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions;
-import org.eclipse.viatra.query.runtime.emf.EMFScope;
-import org.eclipse.viatra.query.runtime.localsearch.matcher.integration.LocalSearchHints;
-import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint;
-
-@SuppressWarnings("all")
-public class LocalSearchEngineManager {
-  public static final LocalSearchEngineManager INSTANCE = new LocalSearchEngineManager();
-  
-  private final WeakHashMap<EObject, ViatraQueryEngine> engineMap = new WeakHashMap<EObject, ViatraQueryEngine>();
-  
-  private LocalSearchEngineManager() {
-  }
-  
-  public ViatraQueryEngine getEngine(final EObject eObject) {
-    final Function<EObject, ViatraQueryEngine> _function = (EObject it) -> {
-      ViatraQueryEngine _xblockexpression = null;
-      {
-        final EMFScope scope = new EMFScope(it);
-        final QueryEvaluationHint localSearchHints = LocalSearchHints.getDefault().build();
-        final ViatraQueryEngineOptions options = ViatraQueryEngineOptions.defineOptions().withDefaultHint(localSearchHints).withDefaultBackend(
-          localSearchHints.getQueryBackendFactory()).build();
-        final ViatraQueryEngine engine = AdvancedViatraQueryEngine.on(scope, options);
-        SatelliteQueries.instance().prepare(engine);
-        _xblockexpression = engine;
-      }
-      return _xblockexpression;
-    };
-    return this.engineMap.computeIfAbsent(eObject, _function);
-  }
-}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/MetricBasedGuidanceFunction.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/MetricBasedGuidanceFunction.java
deleted file mode 100644
index f3dae715..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/MetricBasedGuidanceFunction.java
+++ /dev/null
@@ -1,72 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo.LocalSearchEngineManager;
-import java.util.Iterator;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
-import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.IGuidanceFunction;
-import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.interpreter.guidance.Solution;
-
-@SuppressWarnings("all")
-public abstract class MetricBasedGuidanceFunction implements IGuidanceFunction {
-  private final IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> querySpecification;
-  
-  protected MetricBasedGuidanceFunction(final IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> querySpecification) {
-    this.querySpecification = querySpecification;
-    int _size = querySpecification.getParameters().size();
-    boolean _notEquals = (_size != 1);
-    if (_notEquals) {
-      throw new IllegalArgumentException("Metric must have a single parameter");
-    }
-  }
-  
-  @Override
-  public double computeFitness(final Solution model) {
-    double _xblockexpression = (double) 0;
-    {
-      final double value = this.getMetricValue(model);
-      _xblockexpression = this.computeFitness(value);
-    }
-    return _xblockexpression;
-  }
-  
-  protected double computeFitness(final double metricValue) {
-    return metricValue;
-  }
-  
-  private double getMetricValue(final Solution solution) {
-    double _xblockexpression = (double) 0;
-    {
-      final EObject model = solution.getModel();
-      final ViatraQueryEngine queryEngine = LocalSearchEngineManager.INSTANCE.getEngine(model);
-      final ViatraQueryMatcher<? extends IPatternMatch> matcher = this.querySpecification.getMatcher(queryEngine);
-      final Iterator<? extends IPatternMatch> iterator = matcher.getAllMatches().iterator();
-      boolean _hasNext = iterator.hasNext();
-      boolean _not = (!_hasNext);
-      if (_not) {
-        throw new IllegalStateException("Too few matches");
-      }
-      final Object objectValue = iterator.next().get(0);
-      double _xifexpression = (double) 0;
-      if ((objectValue instanceof Number)) {
-        double _xblockexpression_1 = (double) 0;
-        {
-          final double doubleValue = ((Number)objectValue).doubleValue();
-          boolean _hasNext_1 = iterator.hasNext();
-          if (_hasNext_1) {
-            throw new IllegalStateException("Too many matches");
-          }
-          _xblockexpression_1 = doubleValue;
-        }
-        _xifexpression = _xblockexpression_1;
-      } else {
-        throw new IllegalStateException("Metric value must be a number");
-      }
-      _xblockexpression = _xifexpression;
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/PatternMatchConstraint.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/PatternMatchConstraint.java
deleted file mode 100644
index f089d469..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/PatternMatchConstraint.java
+++ /dev/null
@@ -1,54 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo;
-
-import com.google.common.base.Objects;
-import com.google.common.collect.ImmutableList;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo.LocalSearchEngineManager;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
-import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation;
-import org.eclipse.xtext.xbase.lib.Functions.Function1;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.IGuidanceFunction;
-import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.interpreter.guidance.Solution;
-
-@SuppressWarnings("all")
-public class PatternMatchConstraint implements IGuidanceFunction {
-  private static final String CONSTRAINT_ANNOTATION_NAME = "Constraint";
-  
-  private final ImmutableList<IQuerySpecification<?>> queries = ImmutableList.<IQuerySpecification<?>>copyOf(IterableExtensions.<IQuerySpecification<?>>filter(SatelliteQueries.instance().getSpecifications(), ((Function1<IQuerySpecification<?>, Boolean>) (IQuerySpecification<?> it) -> {
-    final Function1<PAnnotation, Boolean> _function = (PAnnotation it_1) -> {
-      String _name = it_1.getName();
-      return Boolean.valueOf(Objects.equal(_name, PatternMatchConstraint.CONSTRAINT_ANNOTATION_NAME));
-    };
-    return Boolean.valueOf(IterableExtensions.<PAnnotation>exists(it.getAllAnnotations(), _function));
-  })));
-  
-  @Override
-  public String getName() {
-    return "PatternMatch";
-  }
-  
-  @Override
-  public double computeFitness(final Solution solution) {
-    int _xblockexpression = (int) 0;
-    {
-      final EObject model = solution.getModel();
-      final ViatraQueryEngine queryEngine = LocalSearchEngineManager.INSTANCE.getEngine(model);
-      int matchCount = 0;
-      for (final IQuerySpecification<?> query : this.queries) {
-        {
-          final ViatraQueryMatcher<? extends IPatternMatch> matcher = query.getMatcher(queryEngine);
-          int _matchCount = matchCount;
-          int _countMatches = matcher.countMatches();
-          matchCount = (_matchCount + _countMatches);
-        }
-      }
-      _xblockexpression = matchCount;
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/SatelliteMdeOptimiserMain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/SatelliteMdeOptimiserMain.java
deleted file mode 100644
index 6cbb08fc..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/SatelliteMdeOptimiserMain.java
+++ /dev/null
@@ -1,69 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.domains.satellite.mdeo;
-
-import java.io.BufferedReader;
-import java.io.BufferedWriter;
-import java.io.FileReader;
-import java.io.FileWriter;
-import java.util.Collections;
-import java.util.Map;
-import java.util.Set;
-import org.eclipse.emf.ecore.EPackage;
-import org.eclipse.emf.ecore.resource.Resource;
-import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-import org.eclipse.xtext.xbase.lib.Exceptions;
-import org.eclipse.xtext.xbase.lib.Pair;
-import satellite.SatellitePackage;
-import uk.ac.kcl.inf.mdeoptimiser.interfaces.cli.Run;
-
-@SuppressWarnings("all")
-public class SatelliteMdeOptimiserMain {
-  private static final String PROJECT_PATH = ".";
-  
-  private static final String MOPT_PATH = "src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt";
-  
-  private SatelliteMdeOptimiserMain() {
-    new IllegalStateException("This is a static utility class and should not be instantiated directly.");
-  }
-  
-  public static void main(final String[] args) {
-    Map<String, Object> _extensionToFactoryMap = Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap();
-    XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl();
-    _extensionToFactoryMap.put(Resource.Factory.Registry.DEFAULT_EXTENSION, _xMIResourceFactoryImpl);
-    EPackage.Registry.INSTANCE.put(SatellitePackage.eNS_URI, SatellitePackage.eINSTANCE);
-    Pair<String, String> _mappedTo = Pair.<String, String>of("satellite.ecore", SatellitePackage.eNS_URI);
-    SatelliteMdeOptimiserMain.fixupHenshinModel("model/satellite.henshin", "model/satellite_fixup.henshin", 
-      Collections.<String, String>unmodifiableMap(CollectionLiterals.<String, String>newHashMap(_mappedTo)));
-    Run.main(new String[] { "-p", SatelliteMdeOptimiserMain.PROJECT_PATH, "-m", SatelliteMdeOptimiserMain.MOPT_PATH });
-  }
-  
-  private static void fixupHenshinModel(final String originalPath, final String outputPath, final Map<String, String> remapMap) {
-    try {
-      FileReader _fileReader = new FileReader(originalPath);
-      final BufferedReader reader = new BufferedReader(_fileReader);
-      try {
-        FileWriter _fileWriter = new FileWriter(outputPath);
-        final BufferedWriter writer = new BufferedWriter(_fileWriter);
-        try {
-          String line = null;
-          while (((line = reader.readLine()) != null)) {
-            {
-              Set<Map.Entry<String, String>> _entrySet = remapMap.entrySet();
-              for (final Map.Entry<String, String> entry : _entrySet) {
-                line = line.replace(entry.getKey(), entry.getValue());
-              }
-              writer.write(line);
-              writer.write("\n");
-            }
-          }
-        } finally {
-          writer.close();
-        }
-      } finally {
-        reader.close();
-      }
-    } catch (Throwable _e) {
-      throw Exceptions.sneakyThrow(_e);
-    }
-  }
-}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore
deleted file mode 100644
index ff6b1dfc..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SatelliteGeneratorMain.java._trace
-/.SatelliteGeneratorMain.xtendbin
-/SatelliteGeneratorMain.java