diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:18:56 -0400 |
| commit | 9643b7b7a735afc408ca6a172e2719653553627a (patch) | |
| tree | a608396a89759a3d3d6ead5b659c23612ff9d56c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |
| parent | complete vsconfig files #19 (diff) | |
| download | VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.gz VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.tar.zst VIATRA-Generator-9643b7b7a735afc408ca6a172e2719653553627a.zip | |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext index a76107c4..2b5958ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |||
| @@ -85,13 +85,13 @@ VLSSatisfiable: | |||
| 85 | {VLSSatisfiable} 'Satisfiable!' | 85 | {VLSSatisfiable} 'Satisfiable!' |
| 86 | ; | 86 | ; |
| 87 | 87 | ||
| 88 | VLSTrying: | 88 | //VLSTrying: |
| 89 | 'TRYING' '[' name = LITERAL ']' | 89 | // 'TRYING' '[' name = LITERAL ']' |
| 90 | ; | 90 | //; |
| 91 | 91 | // | |
| 92 | VLSFiniteModel: | 92 | //VLSFiniteModel: |
| 93 | {VLSFiniteModel} 'Finite' 'Model' 'Found!' | 93 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!' |
| 94 | ; | 94 | //; |
| 95 | 95 | ||
| 96 | // <FOF formulas> | 96 | // <FOF formulas> |
| 97 | VLSFofFormula: | 97 | VLSFofFormula: |