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 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner | |
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 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner')
0 files changed, 0 insertions, 0 deletions