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.logic2ecore/META-INF | |
| 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.logic2ecore/META-INF')
0 files changed, 0 insertions, 0 deletions