From 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 25 Oct 2019 04:15:39 -0400
Subject: VAMPIRE: post-submission push

---
 ...lloyModelInterpretation_TypeInterpretation.xtend | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation_TypeInterpretation.xtend

(limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation_TypeInterpretation.xtend')

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation_TypeInterpretation.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation_TypeInterpretation.xtend
new file mode 100644
index 00000000..7082c946
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation_TypeInterpretation.xtend
@@ -0,0 +1,21 @@
+package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
+
+import edu.mit.csail.sdg.alloy4compiler.ast.ExprVar
+import edu.mit.csail.sdg.alloy4compiler.translator.A4Solution
+import edu.mit.csail.sdg.alloy4compiler.ast.Sig
+import java.util.Map
+import edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration
+import java.util.List
+
+interface AlloyModelInterpretation_TypeInterpretation {
+	def void resolveUnknownAtoms(
+		Iterable<ExprVar> objectAtoms, 
+		A4Solution solution,
+		Logic2AlloyLanguageMapperTrace forwardTrace,
+		Map<String, Sig> name2AlloySig,
+		Map<String, Field> name2AlloyField,
+		Map<String,DefinedElement> expression2DefinedElement,
+		Map<TypeDeclaration, List<DefinedElement>> interpretationOfUndefinedType)
+}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2