From aaa67b0ef8840d97b062a4f1383bf93410984af3 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Fri, 30 Jul 2021 10:04:27 +0200
Subject: Numeric solver dreal hardcoding -> config

---
 .../viatra2logic/FakeIntegerElement.java           | 169 ---------------------
 1 file changed, 169 deletions(-)
 delete mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java
deleted file mode 100644
index 7b8634c4..00000000
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java
+++ /dev/null
@@ -1,169 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.viatra2logic;
-
-import java.lang.reflect.InvocationTargetException;
-
-import org.eclipse.emf.common.notify.Adapter;
-import org.eclipse.emf.common.notify.Notification;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.emf.common.util.TreeIterator;
-import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EOperation;
-import org.eclipse.emf.ecore.EReference;
-import org.eclipse.emf.ecore.EStructuralFeature;
-import org.eclipse.emf.ecore.resource.Resource;
-
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition;
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
-
-public class FakeIntegerElement implements PrimitiveElement{
-	
-	public FakeIntegerElement() {
-		
-	}
-
-	@Override
-	public EList<TypeDefinition> getDefinedInType() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public String getName() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public void setName(String value) {
-		// TODO Auto-generated method stub
-		
-	}
-
-	@Override
-	public EClass eClass() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public Resource eResource() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public EObject eContainer() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public EStructuralFeature eContainingFeature() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public EReference eContainmentFeature() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public EList<EObject> eContents() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public TreeIterator<EObject> eAllContents() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public boolean eIsProxy() {
-		// TODO Auto-generated method stub
-		return false;
-	}
-
-	@Override
-	public EList<EObject> eCrossReferences() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public Object eGet(EStructuralFeature feature) {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public Object eGet(EStructuralFeature feature, boolean resolve) {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public void eSet(EStructuralFeature feature, Object newValue) {
-		// TODO Auto-generated method stub
-		
-	}
-
-	@Override
-	public boolean eIsSet(EStructuralFeature feature) {
-		// TODO Auto-generated method stub
-		return false;
-	}
-
-	@Override
-	public void eUnset(EStructuralFeature feature) {
-		// TODO Auto-generated method stub
-		
-	}
-
-	@Override
-	public Object eInvoke(EOperation operation, EList<?> arguments) throws InvocationTargetException {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public EList<Adapter> eAdapters() {
-		// TODO Auto-generated method stub
-		return null;
-	}
-
-	@Override
-	public boolean eDeliver() {
-		// TODO Auto-generated method stub
-		return false;
-	}
-
-	@Override
-	public void eSetDeliver(boolean deliver) {
-		// TODO Auto-generated method stub
-		
-	}
-
-	@Override
-	public void eNotify(Notification notification) {
-		// TODO Auto-generated method stub
-		
-	}
-
-	@Override
-	public boolean isValueSet() {
-		// TODO Auto-generated method stub
-		return false;
-	}
-
-	@Override
-	public void setValueSet(boolean value) {
-		// TODO Auto-generated method stub
-		
-	}
-
-}
-- 
cgit v1.2.3-70-g09d2