blob: d2b59754f74b4ee66fbb5c264a4cbb3dd31028a1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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
}
}
|