diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-03 00:03:48 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-03 00:03:48 -0400 |
| commit | 9fc9e413e61ca00beaf7d8217be173f25cf52b5d (patch) | |
| tree | e105e400cceb0a2a3c0c43dd6ab47eda5b4292b3 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend | |
| parent | VAMPIRE: implement Vampire Model Interpreter, 2/3 done (diff) | |
| download | VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.tar.gz VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.tar.zst VIATRA-Generator-9fc9e413e61ca00beaf7d8217be173f25cf52b5d.zip | |
VAMPIRE: complete first version of VampireModelInterpretation
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 | 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_RelationMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend index 2dec281d..18e97020 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 | |||
| @@ -71,6 +71,7 @@ class Logic2VampireLanguageMapper_RelationMapper { | |||
| 71 | } | 71 | } |
| 72 | ] | 72 | ] |
| 73 | trace.rel2Predicate.put(r, rel) | 73 | trace.rel2Predicate.put(r, rel) |
| 74 | trace.predicate2Relation.put(rel, r) | ||
| 74 | it.left = support.duplicate(rel) | 75 | it.left = support.duplicate(rel) |
| 75 | it.right = support.unfoldAnd(relVar2TypeDecComply) | 76 | it.right = support.unfoldAnd(relVar2TypeDecComply) |
| 76 | ] | 77 | ] |