diff options
author | 2017-07-05 14:01:15 +0200 | |
---|---|---|
committer | 2017-07-05 14:01:15 +0200 | |
commit | 7fd74f53db81394d45535bec6cedc749222955eb (patch) | |
tree | 6ffb6b07d6c63125a42e72587ad7d26bd333123c /Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit | |
parent | SMT solver implementation of multiple model generation (diff) | |
download | VIATRA-Generator-7fd74f53db81394d45535bec6cedc749222955eb.tar.gz VIATRA-Generator-7fd74f53db81394d45535bec6cedc749222955eb.tar.zst VIATRA-Generator-7fd74f53db81394d45535bec6cedc749222955eb.zip |
When there is a definition to a declaration in the logic problem, the
logic structure builder calls the definition when the interpretation of
the declaration is requested.
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit')
0 files changed, 0 insertions, 0 deletions