diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 17:07:28 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 17:07:28 +0200 |
| commit | 8bd7cc4cec30fde0b4674b2fc9e1c5e8ef306513 (patch) | |
| tree | fa35eec79c8deef1121d2136be6bc0b8f9f90cab /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend | |
| parent | scopes added to alloy (diff) | |
| download | VIATRA-Generator-8bd7cc4cec30fde0b4674b2fc9e1c5e8ef306513.tar.gz VIATRA-Generator-8bd7cc4cec30fde0b4674b2fc9e1c5e8ef306513.tar.zst VIATRA-Generator-8bd7cc4cec30fde0b4674b2fc9e1c5e8ef306513.zip | |
Type Interpretation for Alloy with Inheritance+Horizontal mapping
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper.xtend')
0 files changed, 0 insertions, 0 deletions