diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
| commit | b685589e596bdc27fd9cbbbdde347a5d6f1439e0 (patch) | |
| tree | ff0e8f49b6f107ebc5937b58c1e5e0154c5e37d1 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |
| parent | Initial workspace setup (diff) | |
| download | VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.gz VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.tar.zst VIATRA-Generator-b685589e596bdc27fd9cbbbdde347a5d6f1439e0.zip | |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java index 390a6b10..b2dd06ef 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |||
| @@ -93,7 +93,7 @@ public class Logic2VampireLanguageMapper { | |||
| 93 | public TracedOutput<VampireModel, Logic2VampireLanguageMapperTrace> transformProblem(final LogicProblem problem, final VampireSolverConfiguration configuration) { | 93 | public TracedOutput<VampireModel, Logic2VampireLanguageMapperTrace> transformProblem(final LogicProblem problem, final VampireSolverConfiguration configuration) { |
| 94 | VLSComment _createVLSComment = this.factory.createVLSComment(); | 94 | VLSComment _createVLSComment = this.factory.createVLSComment(); |
| 95 | final Procedure1<VLSComment> _function = (VLSComment it) -> { | 95 | final Procedure1<VLSComment> _function = (VLSComment it) -> { |
| 96 | it.setComment("%This is an initial Test Comment \r"); | 96 | it.setComment("This is an initial Test Comment"); |
| 97 | }; | 97 | }; |
| 98 | final VLSComment initialComment = ObjectExtensions.<VLSComment>operator_doubleArrow(_createVLSComment, _function); | 98 | final VLSComment initialComment = ObjectExtensions.<VLSComment>operator_doubleArrow(_createVLSComment, _function); |
| 99 | VampireModel _createVampireModel = this.factory.createVampireModel(); | 99 | VampireModel _createVampireModel = this.factory.createVampireModel(); |