diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-08 16:12:55 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-08 16:12:55 -0400 |
| commit | 71108d462c2695d917e87acea6f49d3f2954c6f4 (patch) | |
| tree | 755962edeb635f46f1c860e2ff4dcc0235099597 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src | |
| parent | VAMPIRE: complete first version of VampireModelInterpretation (diff) | |
| download | VIATRA-Generator-71108d462c2695d917e87acea6f49d3f2954c6f4.tar.gz VIATRA-Generator-71108d462c2695d917e87acea6f49d3f2954c6f4.tar.zst VIATRA-Generator-71108d462c2695d917e87acea6f49d3f2954c6f4.zip | |
VAMPIRE: Implement wf constraint handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend index 4fc67b22..fe1c852f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | |||
| @@ -23,9 +23,9 @@ class VampireLanguageFormatter extends AbstractFormatter2 { | |||
| 23 | for (VLSComment vLSComment : vampireModel.getComments()) { | 23 | for (VLSComment vLSComment : vampireModel.getComments()) { |
| 24 | vLSComment.format; | 24 | vLSComment.format; |
| 25 | } | 25 | } |
| 26 | // for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { | 26 | for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { |
| 27 | // vLSFofFormula.format; | 27 | vLSFofFormula.format; |
| 28 | // } | 28 | } |
| 29 | } | 29 | } |
| 30 | 30 | ||
| 31 | // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { | 31 | // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { |