From d25afa235db5ba183229d55da3eb4cf78647553f Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Wed, 15 Apr 2020 01:45:13 +0200 Subject: (lipstick) --- .../PartialInterpretationInitialiser.xtend | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend index f7a1ce4f..d37acb6d 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend @@ -42,6 +42,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition @Data class Problem2PartialInterpretationTrace { Map type2Interpretation @@ -233,7 +234,11 @@ class PartialInterpretationInitialiser { def private Map initRelations(PartialInterpretation interpretation, PrimitiveValueTrace trace) { val Map relation2Interpretation = new HashMap - for(relation : interpretation.problem.relations.filter(RelationDeclaration)) { + val definedRelationDeclarations = interpretation.problem.relations.filter(RelationDefinition).map[defines] + val undefinedRelationDeclarations = interpretation.problem.relations.filter(RelationDeclaration).filter[ + declared | !definedRelationDeclarations.exists[defined | defined === declared] + ] + for(relation : undefinedRelationDeclarations) { val partialInterpretation = relation.initialisePartialRelationInterpretation interpretation.partialrelationinterpretation += partialInterpretation relation2Interpretation.put(relation,partialInterpretation) -- cgit v1.2.3-70-g09d2