From 53bfa0734fff9a70b992d6effde3a6cbac9ea946 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 27 Sep 2017 17:40:00 +0200 Subject: Transitive closure support for relation definitions in Alloy --- .../alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend index 22f49c98..9a16ddf2 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend @@ -17,6 +17,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition import java.util.HashMap import java.util.Map import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation interface Logic2AlloyLanguageMapper_TypeMapperTrace {} @@ -39,11 +40,17 @@ class Logic2AlloyLanguageMapperTrace { public val Map functionDeclaration2LanguageField = new HashMap public val Map functionDefinition2Function = new HashMap - public val Map relationDeclaration2Global = new HashMap + public val Map relationDeclaration2Global = new HashMap public val Map relationDeclaration2Field = new HashMap public val Map relationDefinition2Predicate = new HashMap + public val Map transitiveClosureTarget2Global = new HashMap + public val Map transitiveClosureTarget2Field = new HashMap + public var Map constantDefinitions public var Map functionDefinitions public var Map relationDefinitions + + public var Map relationInTransitiveToGlobalField = new HashMap + public var Map relationInTransitiveToHosterField = new HashMap } \ No newline at end of file -- cgit v1.2.3-54-g00ecf