diff options
author | 2019-09-02 03:47:21 -0400 | |
---|---|---|
committer | 2019-09-02 03:47:21 -0400 | |
commit | 4474dfbaa958e7bba92f794445f574c1fdcbe65f (patch) | |
tree | 8334f9e19225821f416e89c1291e4c95618c8370 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.tar.gz VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.tar.zst VIATRA-Generator-4474dfbaa958e7bba92f794445f574c1fdcbe65f.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend index 1b30393f..d2a01e0e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend | |||
@@ -42,6 +42,7 @@ class Logic2VampireLanguageMapper_TypeMapper { | |||
42 | it.terms += support.duplicate(variable) | 42 | it.terms += support.duplicate(variable) |
43 | ] | 43 | ] |
44 | trace.type2Predicate.put(type, typePred) | 44 | trace.type2Predicate.put(type, typePred) |
45 | trace.predicate2Type.put(typePred, type) | ||
45 | } | 46 | } |
46 | 47 | ||
47 | // 2. Map each ENUM/InitialModelElement type definition to fof formula | 48 | // 2. Map each ENUM/InitialModelElement type definition to fof formula |