diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-27 17:20:18 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-27 17:20:18 +0200 |
| commit | 04f5e257ca684dfe75262a5cf1f29b72ba197edf (patch) | |
| tree | 6dcabdebdb3d7d3af794b39344d965ebf2bc2b6d /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui | |
| parent | simple typemapper for alloy (diff) | |
| download | VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.gz VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.zst VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.zip | |
Primitive types added to the logic problem only if needed
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui')
0 files changed, 0 insertions, 0 deletions