From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../dse/PartialModelAsLogicInterpretation.xtend | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend') 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 -- cgit v1.2.3-54-g00ecf