Add config flag for selecting numeric solver. Integ with Z3

1 files changed, 0 insertions, 16 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
deleted file mode 100644
index 59a09906..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
+++ /dev/null
@@ -1,16 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.application.valueconverter;
-
-import hu.bme.mit.inf.dslreasoner.application.valueconverter.QualifiedNameValueConverter;
-import org.eclipse.xtext.common.services.DefaultTerminalConverters;
-import org.eclipse.xtext.conversion.IValueConverter;
-import org.eclipse.xtext.conversion.ValueConverter;
-
-@SuppressWarnings("all")
-public class ApplicationConfigurationValueConverterService extends DefaultTerminalConverters {
-  private final QualifiedNameValueConverter converter2 = new QualifiedNameValueConverter();
-  
-  @ValueConverter(rule = "QualifiedName")
-  public IValueConverter<String> QualifiedName() {
-    return this.converter2;
-  }
-}