diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 02:02:21 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 02:02:21 -0500 |
commit | a575e7d063ef1776d620fe6318b8ba2f30d82a11 (patch) | |
tree | 98e252632ce04fc0ec80cd0e204f58dbcdb91130 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | |
parent | +SolverProcessMonitor to (optionally) report process and request cancel (diff) | |
download | VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.tar.gz VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.tar.zst VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.zip |
ViatraSolver reports progress and stops at cancel
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend')
0 files changed, 0 insertions, 0 deletions