diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-02 03:47:21 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:41:44 -0400 |
commit | 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a (patch) | |
tree | 5e2449306e2fd7169b05ac72fe78e167934d7f8c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.gz VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.zst VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
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 | 4 |
1 files changed, 2 insertions, 2 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 1b115d45..cd640556 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 | |||
@@ -220,11 +220,11 @@ VLSDeclaration: | |||
220 | ; | 220 | ; |
221 | 221 | ||
222 | VLSOtherDeclaration: | 222 | VLSOtherDeclaration: |
223 | VLSAtomicConstant ':' type = VLSTypeDef | 223 | name = VLSAtomicConstant ':' type = VLSTypeDef |
224 | ; | 224 | ; |
225 | 225 | ||
226 | VLSVariableDeclaration: | 226 | VLSVariableDeclaration: |
227 | VLSVariable ':' type = VLSTypeDef | 227 | name = VLSVariable ':' type = VLSTypeDef |
228 | ; | 228 | ; |
229 | 229 | ||
230 | VLSTypeDef: | 230 | VLSTypeDef: |