1 files changed, 30 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
new file mode 100644
index 00000000..b2a7e3f5
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
@@ -0,0 +1,30 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

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

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration

+

+class PartialModelAsLogicInterpretation implements LogicModelInterpretation{

+        

+        

+        override getElements(Type type) {

+                throw new UnsupportedOperationException("TODO: auto-generated method stub")

+        }

+        

+        override getInterpretation(FunctionDeclaration function, Object[] parameterSubstitution) {

+                throw new UnsupportedOperationException("TODO: auto-generated method stub")

+        }

+        

+        override getInterpretation(RelationDeclaration relation, Object[] parameterSubstitution) {

+                throw new UnsupportedOperationException("TODO: auto-generated method stub")

+        }

+        

+        override getInterpretation(ConstantDeclaration constant) {

+                throw new UnsupportedOperationException("TODO: auto-generated method stub")

+        }

+        

+        override getMinimalInteger() { 0 }

+        override getMaximalInteger() {0 }

+}
\ No newline at end of file