rebase dreal-integ on models20-measurements

32 files changed, 3 insertions, 314 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application.ide/.gitignore
index ae3c1726..b33f6aff 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/.gitignore
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/.gitignore
@@ -1 +1,2 @@
 /bin/
+/xtend-gen/
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
deleted file mode 100644
index 1c86e38f..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
+++ /dev/null
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
deleted file mode 100644
index 57c8ab25..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
+++ /dev/null
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.gitignore
deleted file mode 100644
index c41377d5..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.ApplicationConfigurationIdeModule.java._trace
-/.ApplicationConfigurationIdeSetup.java._trace
-/.ApplicationConfigurationIdeModule.xtendbin
-/.ApplicationConfigurationIdeSetup.xtendbin
-/ApplicationConfigurationIdeModule.java
-/ApplicationConfigurationIdeSetup.java
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java
deleted file mode 100644
index f4d40594..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java
+++ /dev/null
@@ -1,13 +0,0 @@
-/**
- * generated by Xtext 2.12.0
- */
-package hu.bme.mit.inf.dslreasoner.application.ide;
-
-import hu.bme.mit.inf.dslreasoner.application.ide.AbstractApplicationConfigurationIdeModule;
-
-/**
- * Use this class to register ide components.
- */
-@SuppressWarnings("all")
-public class ApplicationConfigurationIdeModule extends AbstractApplicationConfigurationIdeModule {
-}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java
deleted file mode 100644
index 2281147c..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java
+++ /dev/null
@@ -1,24 +0,0 @@
-/**
- * generated by Xtext 2.12.0
- */
-package hu.bme.mit.inf.dslreasoner.application.ide;
-
-import com.google.inject.Guice;
-import com.google.inject.Injector;
-import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationRuntimeModule;
-import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetup;
-import hu.bme.mit.inf.dslreasoner.application.ide.ApplicationConfigurationIdeModule;
-import org.eclipse.xtext.util.Modules2;
-
-/**
- * Initialization support for running Xtext languages as language servers.
- */
-@SuppressWarnings("all")
-public class ApplicationConfigurationIdeSetup extends ApplicationConfigurationStandaloneSetup {
-  @Override
-  public Injector createInjector() {
-    ApplicationConfigurationRuntimeModule _applicationConfigurationRuntimeModule = new ApplicationConfigurationRuntimeModule();
-    ApplicationConfigurationIdeModule _applicationConfigurationIdeModule = new ApplicationConfigurationIdeModule();
-    return Guice.createInjector(Modules2.mixin(_applicationConfigurationRuntimeModule, _applicationConfigurationIdeModule));
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/.gitignore
index ae3c1726..b33f6aff 100644
--- a/Application/org.eclipse.viatra.solver.language.ui/.gitignore
+++ b/Application/org.eclipse.viatra.solver.language.ui/.gitignore
@@ -1 +1,2 @@
 /bin/
+/xtend-gen/
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore
deleted file mode 100644
index 54297e9d..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageUiModule.java._trace
-/.SolverLanguageUiModule.xtendbin
-/SolverLanguageUiModule.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore
deleted file mode 100644
index 7bf487b6..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageProposalProvider.java._trace
-/.SolverLanguageProposalProvider.xtendbin
-/SolverLanguageProposalProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore
deleted file mode 100644
index 682fd167..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverSemanticHighlightCalculator.java._trace
-/.SolverSemanticHighlightCalculator.xtendbin
-/.SolverSemanticTextAttributeProvider.java._trace
-/.SolverSemanticTextAttributeProvider.xtendbin
-/SolverSemanticHighlightCalculator.java
-/SolverSemanticTextAttributeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore
deleted file mode 100644
index 4f407d4c..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverLanguageDescriptionLabelProvider.java._trace
-/.SolverLanguageDescriptionLabelProvider.xtendbin
-/.SolverLanguageLabelProvider.java._trace
-/.SolverLanguageLabelProvider.xtendbin
-/SolverLanguageDescriptionLabelProvider.java
-/SolverLanguageLabelProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore
deleted file mode 100644
index 63ce4740..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageOutlineTreeProvider.java._trace
-/.SolverLanguageOutlineTreeProvider.xtendbin
-/SolverLanguageOutlineTreeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore
deleted file mode 100644
index 37dbeadb..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageQuickfixProvider.java._trace
-/.SolverLanguageQuickfixProvider.xtendbin
-/SolverLanguageQuickfixProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin
deleted file mode 100644
index a107bf27..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
deleted file mode 100644
index 994dbd52..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore
deleted file mode 100644
index 61ce5bef..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverSemanticHighlightCalculator.java._trace
-/.SolverSemanticTextAttributeProvider.java._trace
-/.SolverSemanticHighlightCalculator.xtendbin
-/.SolverSemanticTextAttributeProvider.xtendbin
-/SolverSemanticHighlightCalculator.java
-/SolverSemanticTextAttributeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java
deleted file mode 100644
index 2935dfd7..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java
+++ /dev/null
@@ -1,83 +0,0 @@
-package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
-
-import com.google.common.collect.Iterators;
-import java.util.Iterator;
-import java.util.Random;
-import java.util.WeakHashMap;
-import org.eclipse.viatra.solver.language.solverLanguage.Reference;
-import org.eclipse.xtend2.lib.StringConcatenation;
-import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator;
-import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor;
-import org.eclipse.xtext.nodemodel.ICompositeNode;
-import org.eclipse.xtext.nodemodel.util.NodeModelUtils;
-import org.eclipse.xtext.resource.XtextResource;
-import org.eclipse.xtext.util.CancelIndicator;
-
-@SuppressWarnings("all")
-public class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator {
-  public static final String SYMBOL_CODE = "SymbolCode::";
-  
-  private final WeakHashMap<String, String> symbolName2ID = new WeakHashMap<String, String>();
-  
-  @Override
-  public void provideHighlightingFor(final XtextResource resource, final IHighlightedPositionAcceptor acceptor, final CancelIndicator cancelIndicator) {
-    if (((resource == null) || (resource.getParseResult() == null))) {
-      return;
-    } else {
-      final Iterator<Reference> modelSymbols = Iterators.<Reference>filter(resource.getAllContents(), Reference.class);
-      while (modelSymbols.hasNext()) {
-        {
-          final Reference symbolElement = modelSymbols.next();
-          final ICompositeNode node = NodeModelUtils.getNode(symbolElement);
-          acceptor.addPosition(
-            node.getOffset(), 
-            node.getLength(), 
-            this.getSymbolCode(node.getText()));
-        }
-      }
-    }
-  }
-  
-  public String getSymbolCode(final String name) {
-    boolean _containsKey = this.symbolName2ID.containsKey(name);
-    if (_containsKey) {
-      return this.symbolName2ID.get(name);
-    } else {
-      final String id = this.calculateSymbolCode(name);
-      this.symbolName2ID.put(name, id);
-      return id;
-    }
-  }
-  
-  public String calculateSymbolCode(final String name) {
-    int _hashCode = name.hashCode();
-    final Random random = new Random(_hashCode);
-    final float hue = this.huePick(random.nextFloat());
-    float _nextFloat = random.nextFloat();
-    double _multiply = (_nextFloat * 0.3);
-    final double saturation = (0.2 + _multiply);
-    float _nextFloat_1 = random.nextFloat();
-    double _multiply_1 = (_nextFloat_1 * 0.2);
-    final double brightness = (_multiply_1 + 0.7f);
-    StringConcatenation _builder = new StringConcatenation();
-    _builder.append(SolverSemanticHighlightCalculator.SYMBOL_CODE);
-    _builder.append(" ");
-    _builder.append(hue);
-    _builder.append(" ");
-    _builder.append(saturation);
-    _builder.append(" ");
-    _builder.append(brightness);
-    return _builder.toString();
-  }
-  
-  private float huePick(final float random) {
-    final int pink = 300;
-    final int tolerance = 10;
-    final float degree = (random * (360 - (2 * tolerance)));
-    if ((degree < (pink - tolerance))) {
-      return degree;
-    } else {
-      return (degree + (2 * tolerance));
-    }
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java
deleted file mode 100644
index 04824ad1..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java
+++ /dev/null
@@ -1,63 +0,0 @@
-package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
-
-import com.google.inject.Inject;
-import java.util.WeakHashMap;
-import org.eclipse.jface.text.TextAttribute;
-import org.eclipse.swt.graphics.Color;
-import org.eclipse.swt.graphics.Font;
-import org.eclipse.swt.graphics.RGB;
-import org.eclipse.viatra.solver.language.ui.syntaxcoloring.SolverSemanticHighlightCalculator;
-import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider;
-import org.eclipse.xtext.ui.editor.utils.EditorUtils;
-import org.eclipse.xtext.ui.editor.utils.TextStyle;
-
-@SuppressWarnings("all")
-public class SolverSemanticTextAttributeProvider extends TextAttributeProvider {
-  private final TextStyle defaultTextStyle = new TextStyle();
-  
-  private final WeakHashMap<String, TextAttribute> colorID2TextAttribute = new WeakHashMap<String, TextAttribute>();
-  
-  @Inject
-  public SolverSemanticTextAttributeProvider(final IHighlightingConfiguration highlightingConfig, final IPreferenceStoreAccess preferenceStoreAccess, final PreferenceStoreAccessor prefStoreAccessor) {
-    super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor);
-  }
-  
-  @Override
-  public TextAttribute getAttribute(final String id) {
-    TextAttribute _xifexpression = null;
-    boolean _isMetamodelElementColorID = this.isMetamodelElementColorID(id);
-    if (_isMetamodelElementColorID) {
-      boolean _containsKey = this.colorID2TextAttribute.containsKey(id);
-      if (_containsKey) {
-        return this.colorID2TextAttribute.get(id);
-      } else {
-        final TextAttribute style = this.metamodelElementTextStyle(id);
-        this.colorID2TextAttribute.put(id, style);
-        return style;
-      }
-    } else {
-      _xifexpression = super.getAttribute(id);
-    }
-    return _xifexpression;
-  }
-  
-  private boolean isMetamodelElementColorID(final String id) {
-    return id.startsWith(SolverSemanticHighlightCalculator.SYMBOL_CODE);
-  }
-  
-  private TextAttribute metamodelElementTextStyle(final String id) {
-    final String[] texts = id.split(" ");
-    float _parseFloat = Float.parseFloat(texts[1]);
-    float _parseFloat_1 = Float.parseFloat(texts[2]);
-    float _parseFloat_2 = Float.parseFloat(texts[3]);
-    final RGB backgroundColor = new RGB(_parseFloat, _parseFloat_1, _parseFloat_2);
-    Color _colorFromRGB = EditorUtils.colorFromRGB(this.defaultTextStyle.getColor());
-    Color _colorFromRGB_1 = EditorUtils.colorFromRGB(backgroundColor);
-    int _style = this.defaultTextStyle.getStyle();
-    Font _fontFromFontData = EditorUtils.fontFromFontData(this.defaultTextStyle.getFontData());
-    return new TextAttribute(_colorFromRGB, _colorFromRGB_1, _style, _fontFromFontData);
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin
deleted file mode 100644
index 9839769e..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
deleted file mode 100644
index 565d4b27..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageValidator.java._trace
-/.SolverLanguageValidator.xtendbin
-/SolverLanguageValidator.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java
deleted file mode 100644
index 2b8f158a..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java
+++ /dev/null
@@ -1,15 +0,0 @@
-/**
- * generated by Xtext 2.18.0.M3
- */
-package org.eclipse.viatra.solver.language.validation;
-
-import org.eclipse.viatra.solver.language.validation.AbstractSolverLanguageValidator;
-
-/**
- * This class contains custom validation rules.
- * 
- * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
- */
-@SuppressWarnings("all")
-public class SolverLanguageValidator extends AbstractSolverLanguageValidator {
-}
diff --git a/Application/org.eclipse.viatra.solver.language/.gitignore b/Application/org.eclipse.viatra.solver.language/.gitignore
index ae3c1726..b33f6aff 100644
--- a/Application/org.eclipse.viatra.solver.language/.gitignore
+++ b/Application/org.eclipse.viatra.solver.language/.gitignore
@@ -1 +1,2 @@
 /bin/
+/xtend-gen/
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore
deleted file mode 100644
index 82298938..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverLanguageRuntimeModule.java._trace
-/.SolverLanguageRuntimeModule.xtendbin
-/.SolverLanguageStandaloneSetup.java._trace
-/.SolverLanguageStandaloneSetup.xtendbin
-/SolverLanguageRuntimeModule.java
-/SolverLanguageStandaloneSetup.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore
deleted file mode 100644
index a9345b80..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageGenerator.java._trace
-/.SolverLanguageGenerator.xtendbin
-/SolverLanguageGenerator.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
deleted file mode 100644
index d2fd056e..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
deleted file mode 100644
index 5fbb81c3..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
+++ /dev/null
@@ -1,9 +0,0 @@
-/.SolverLangaugeSyntheticTokenParser.java._trace
-/.SolverLanguageSyntheticTokenTokenSource.java._trace
-/.LastTokenState.java._trace
-/.SolverLangusgeSyntheticTokenParser.java._trace
-/.SolverLanguageSyntheticTokenParser.java._trace
-/.SolverLanguageTokenSource.java._trace
-/.SolverLanguageTokenDefInjectingParser.java._trace
-/.SolverLanguageTokenDefInjectingParser.xtendbin
-/SolverLanguageTokenDefInjectingParser.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
deleted file mode 100644
index 12c92733..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package org.eclipse.viatra.solver.language.parser.antlr;
-
-import com.google.inject.Inject;
-import org.antlr.runtime.CharStream;
-import org.antlr.runtime.TokenSource;
-import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageParser;
-import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageTokenSource;
-import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
-
-@SuppressWarnings("all")
-public class SolverLanguageTokenDefInjectingParser extends SolverLanguageParser {
-  @Inject
-  private ITokenDefProvider tokenDefProvider;
-  
-  @Override
-  protected TokenSource createLexer(final CharStream stream) {
-    SolverLanguageTokenSource _xblockexpression = null;
-    {
-      TokenSource _createLexer = super.createLexer(stream);
-      final SolverLanguageTokenSource tokenSource = ((SolverLanguageTokenSource) _createLexer);
-      tokenSource.initializeTokenDefsFrom(this.tokenDefProvider);
-      _xblockexpression = tokenSource;
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore
deleted file mode 100644
index 16497231..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageScopeProvider.java._trace
-/.SolverLanguageScopeProvider.xtendbin
-/SolverLanguageScopeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin
deleted file mode 100644
index 30cf1dbd..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore
deleted file mode 100644
index 1f04090d..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageSyntheticTokenSyntacticSequencer.java._trace
-/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin
-/SolverLanguageSyntheticTokenSyntacticSequencer.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
deleted file mode 100644
index af761a86..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
+++ /dev/null
@@ -1,24 +0,0 @@
-package org.eclipse.viatra.solver.language.serializer;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.viatra.solver.language.serializer.SolverLanguageSyntacticSequencer;
-import org.eclipse.xtext.RuleCall;
-import org.eclipse.xtext.nodemodel.INode;
-
-@SuppressWarnings("all")
-public class SolverLanguageSyntheticTokenSyntacticSequencer extends SolverLanguageSyntacticSequencer {
-  @Override
-  protected String getTRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
-    return "+";
-  }
-  
-  @Override
-  protected String getREFLEXIVE_TRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
-    return "*";
-  }
-  
-  @Override
-  protected String getFULL_STOPToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
-    return ".";
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
deleted file mode 100644
index 565d4b27..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageValidator.java._trace
-/.SolverLanguageValidator.xtendbin
-/SolverLanguageValidator.java