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: |