diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-05 13:37:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-05 13:37:02 -0500 |
commit | df12163128073296c4d811fa67b02e37ceb20179 (patch) | |
tree | 7509fdd478d6ff3d908d0ab5aa39ed9a8260f0b0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | |
parent | Begin handing of scope and fix type definitions. (diff) | |
download | VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.gz VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.zst VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.zip |
Implement type scope handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend index 60653a42..6f3b13ef 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | |||
@@ -39,7 +39,7 @@ class Logic2VampireLanguageMapper_RelationMapper { | |||
39 | relationVar2VLS.put(variable, v) | 39 | relationVar2VLS.put(variable, v) |
40 | 40 | ||
41 | val varTypeComply = createVLSFunction => [ | 41 | val varTypeComply = createVLSFunction => [ |
42 | it.constant = support.toIDMultiple("type", (variable.range as ComplexTypeReference).referred.name) | 42 | it.constant = support.toIDMultiple("t", (variable.range as ComplexTypeReference).referred.name) |
43 | it.terms += createVLSVariable => [ | 43 | it.terms += createVLSVariable => [ |
44 | it.name = support.toIDMultiple("Var", variable.name) | 44 | it.name = support.toIDMultiple("Var", variable.name) |
45 | ] | 45 | ] |
@@ -47,7 +47,7 @@ class Logic2VampireLanguageMapper_RelationMapper { | |||
47 | relationVar2TypeDecComply.put(variable, varTypeComply) | 47 | relationVar2TypeDecComply.put(variable, varTypeComply) |
48 | 48 | ||
49 | val varTypeRes = createVLSFunction => [ | 49 | val varTypeRes = createVLSFunction => [ |
50 | it.constant = support.toIDMultiple("type", (variable.range as ComplexTypeReference).referred.name) | 50 | it.constant = support.toIDMultiple("t", (variable.range as ComplexTypeReference).referred.name) |
51 | it.terms += createVLSVariable => [ | 51 | it.terms += createVLSVariable => [ |
52 | it.name = support.toIDMultiple("Var", variable.name) | 52 | it.name = support.toIDMultiple("Var", variable.name) |
53 | ] | 53 | ] |
@@ -136,7 +136,7 @@ class Logic2VampireLanguageMapper_RelationMapper { | |||
136 | relationVar2VLS.add(v) | 136 | relationVar2VLS.add(v) |
137 | 137 | ||
138 | val varTypeComply = createVLSFunction => [ | 138 | val varTypeComply = createVLSFunction => [ |
139 | it.constant = support.toIDMultiple("type", (r.parameters.get(i) as ComplexTypeReference).referred.name) | 139 | it.constant = support.toIDMultiple("t", (r.parameters.get(i) as ComplexTypeReference).referred.name) |
140 | it.terms += createVLSVariable => [ | 140 | it.terms += createVLSVariable => [ |
141 | it.name = support.toIDMultiple("Var", i.toString) | 141 | it.name = support.toIDMultiple("Var", i.toString) |
142 | ] | 142 | ] |