diff options
author | 2019-08-30 17:07:28 +0200 | |
---|---|---|
committer | 2019-08-30 17:07:28 +0200 | |
commit | 8bd7cc4cec30fde0b4674b2fc9e1c5e8ef306513 (patch) | |
tree | fa35eec79c8deef1121d2136be6bc0b8f9f90cab /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui | |
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.dslreasoner.alloy.language.ui')
0 files changed, 0 insertions, 0 deletions