diff options
author | 2017-08-15 02:49:32 +0200 | |
---|---|---|
committer | 2017-08-15 02:49:32 +0200 | |
commit | b4c8096ba1d7f5152b64203565226b6b41699653 (patch) | |
tree | 10c4303dc91e30073fb35ec536e8e37d939e49a1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | |
parent | Literals from the problem are added to the initial set of primitive (diff) | |
download | VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.tar.gz VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.tar.zst VIATRA-Generator-b4c8096ba1d7f5152b64203565226b6b41699653.zip |
Added support for string attributes when mapping metamodels
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic')
0 files changed, 0 insertions, 0 deletions