diff options
author | 2017-09-27 17:40:00 +0200 | |
---|---|---|
committer | 2017-09-27 17:40:00 +0200 | |
commit | 53bfa0734fff9a70b992d6effde3a6cbac9ea946 (patch) | |
tree | 7c510f811144cfb0f8e50d083a1b87f28fbc7bdd /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend | |
parent | String attributes are not mapped. (diff) | |
download | VIATRA-Generator-53bfa0734fff9a70b992d6effde3a6cbac9ea946.tar.gz VIATRA-Generator-53bfa0734fff9a70b992d6effde3a6cbac9ea946.tar.zst VIATRA-Generator-53bfa0734fff9a70b992d6effde3a6cbac9ea946.zip |
Transitive closure support for relation definitions in Alloy
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend | 9 |
1 files changed, 8 insertions, 1 deletions
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 | |||
17 | import java.util.HashMap | 17 | import java.util.HashMap |
18 | import java.util.Map | 18 | import java.util.Map |
19 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine | 19 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine |
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation | ||
20 | 21 | ||
21 | interface Logic2AlloyLanguageMapper_TypeMapperTrace {} | 22 | interface Logic2AlloyLanguageMapper_TypeMapperTrace {} |
22 | 23 | ||
@@ -39,11 +40,17 @@ class Logic2AlloyLanguageMapperTrace { | |||
39 | public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2LanguageField = new HashMap | 40 | public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2LanguageField = new HashMap |
40 | public val Map<FunctionDefinition,ALSFunctionDefinition> functionDefinition2Function = new HashMap | 41 | public val Map<FunctionDefinition,ALSFunctionDefinition> functionDefinition2Function = new HashMap |
41 | 42 | ||
42 | public val Map<RelationDeclaration,ALSFieldDeclaration> relationDeclaration2Global = new HashMap | 43 | public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Global = new HashMap |
43 | public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Field = new HashMap | 44 | public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Field = new HashMap |
44 | public val Map<RelationDefinition,ALSRelationDefinition> relationDefinition2Predicate = new HashMap | 45 | public val Map<RelationDefinition,ALSRelationDefinition> relationDefinition2Predicate = new HashMap |
45 | 46 | ||
47 | public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Global = new HashMap | ||
48 | public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Field = new HashMap | ||
49 | |||
46 | public var Map<ConstantDeclaration, ConstantDefinition> constantDefinitions | 50 | public var Map<ConstantDeclaration, ConstantDefinition> constantDefinitions |
47 | public var Map<FunctionDeclaration, FunctionDefinition> functionDefinitions | 51 | public var Map<FunctionDeclaration, FunctionDefinition> functionDefinitions |
48 | public var Map<RelationDeclaration, RelationDefinition> relationDefinitions | 52 | public var Map<RelationDeclaration, RelationDefinition> relationDefinitions |
53 | |||
54 | public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToGlobalField = new HashMap | ||
55 | public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToHosterField = new HashMap | ||
49 | } \ No newline at end of file | 56 | } \ No newline at end of file |