1 files changed, 22 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend
new file mode 100644
index 00000000..d2b59754
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend
@@ -0,0 +1,22 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic

+

+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem

+import java.util.List

+import org.eclipse.emf.ecore.EObject

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes

+

+class InstanceModel2Logic {

+        val InstanceModel2PartialInterpretation instanceModel2PartialInterpretation = new InstanceModel2PartialInterpretation

+        val PartialInterpretation2Logic partialInterpretation2Logic = new PartialInterpretation2Logic

+        

+        public def transform(

+                TracedOutput<LogicProblem, Ecore2Logic_Trace> metamodelTranslationResult,

+                List<EObject> objects) 

+        {

+                val res1 = instanceModel2PartialInterpretation.transform(metamodelTranslationResult,objects,true)

+                this.partialInterpretation2Logic.transformPartialIntepretation2Logic(metamodelTranslationResult.output,res1)

+                return metamodelTranslationResult//.output

+        }

+}
\ No newline at end of file