From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@152.66.252.189>
Date: Sat, 10 Jun 2017 19:05:05 +0200
Subject: Migrating Additional projects

---
 .../Logic2SMT_TypeMapperInterpretation.xtend       | 36 ++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SMT_TypeMapperInterpretation.xtend

(limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SMT_TypeMapperInterpretation.xtend')

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SMT_TypeMapperInterpretation.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SMT_TypeMapperInterpretation.xtend
new file mode 100644
index 00000000..44708f44
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/Logic2SMT_TypeMapperInterpretation.xtend
@@ -0,0 +1,36 @@
+package hu.bme.mit.inf.dslreasoner.smt.reasoner
+
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration
+import java.util.List
+import java.util.Map
+import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*
+
+class Logic2SMT_TypeMapperInterpretation {
+	
+	val Map<Type, ? extends List<DefinedElement>> type2Elements
+	val Map<DefinedElement, ValueType> logic2smt
+	val Map<SMTSymbolicDeclaration, DefinedElement> smt2logic
+	
+	public new(
+		Map<Type, ? extends List<DefinedElement>> type2Elements,
+		Map<DefinedElement, ValueType> logic2smt,
+		Map<SMTSymbolicDeclaration, DefinedElement> smt2logic) {
+		this.type2Elements = type2Elements
+		this.logic2smt = logic2smt
+		this.smt2logic = smt2logic
+	}
+	
+	public def getElements(Type type) {
+		return type2Elements.get(type)
+	}
+	
+	public def ValueType logicElement2Smt(DefinedElement element) {
+		return element.lookup(this.logic2smt)
+	}
+	
+	public def smtElement2Logic(SMTSymbolicDeclaration element) {
+		return element.lookup(this.smt2logic)
+	}
+}
-- 
cgit v1.2.3-70-g09d2