diff options
author | 2017-09-27 21:10:32 +0200 | |
---|---|---|
committer | 2017-09-27 21:10:32 +0200 | |
commit | 5a286dab2c1d23e16aad6e96e3ad93d0e15cb931 (patch) | |
tree | 6e881a862bd6cdda182774f55d4a32ddfbdbe886 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend | |
parent | If a query is not supported query exception. (diff) | |
download | VIATRA-Generator-5a286dab2c1d23e16aad6e96e3ad93d0e15cb931.tar.gz VIATRA-Generator-5a286dab2c1d23e16aad6e96e3ad93d0e15cb931.tar.zst VIATRA-Generator-5a286dab2c1d23e16aad6e96e3ad93d0e15cb931.zip |
PS with outgoing references to excluded objects are supported now
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend')
0 files changed, 0 insertions, 0 deletions