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 {
                        relationVar2VLS.put(variable, v)
                        val varTypeComply = createVLSFunction => [
-                                it.constant = support.toIDMultiple("type", (variable.range as ComplexTypeReference).referred.name)
+                                it.constant = support.toIDMultiple("t", (variable.range as ComplexTypeReference).referred.name)
                                it.terms += createVLSVariable => [
                                        it.name = support.toIDMultiple("Var", variable.name)
                                ]
@@ -47,7 +47,7 @@ class Logic2VampireLanguageMapper_RelationMapper {
                        relationVar2TypeDecComply.put(variable, varTypeComply)
                        
                        val varTypeRes = createVLSFunction => [
-                                it.constant = support.toIDMultiple("type", (variable.range as ComplexTypeReference).referred.name)
+                                it.constant = support.toIDMultiple("t", (variable.range as ComplexTypeReference).referred.name)
                                it.terms += createVLSVariable => [
                                        it.name = support.toIDMultiple("Var", variable.name)
                                ]
@@ -136,7 +136,7 @@ class Logic2VampireLanguageMapper_RelationMapper {
                        relationVar2VLS.add(v)
                        val varTypeComply = createVLSFunction => [
-                                it.constant = support.toIDMultiple("type", (r.parameters.get(i) as ComplexTypeReference).referred.name)
+                                it.constant = support.toIDMultiple("t", (r.parameters.get(i) as ComplexTypeReference).referred.name)
                                it.terms += createVLSVariable => [
                                        it.name = support.toIDMultiple("Var", i.toString)
                                ]

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	]