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/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util | |
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/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util')
0 files changed, 0 insertions, 0 deletions