diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-08-28 23:48:51 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-28 23:48:51 +0200 |
commit | 16903e592dc63501935b174e4aabbf9957186974 (patch) | |
tree | a35a7bbbdce7c38c81ee7f9ecd3b39830d0f4144 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs | |
parent | Simple visualiser that prints the size of the intermediate solution. (diff) | |
download | VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.tar.gz VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.tar.zst VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.zip |
String attributes are not mapped.
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions