diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-07-05 14:01:15 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-05 14:01:15 +0200 |
commit | 7fd74f53db81394d45535bec6cedc749222955eb (patch) | |
tree | 6ffb6b07d6c63125a42e72587ad7d26bd333123c /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme | |
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.viatra2logic/src/hu/bme')
0 files changed, 0 insertions, 0 deletions