diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-07-14 20:48:09 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-14 20:48:09 +0200 |
| commit | c420930fbd57421e8accaf3d6af9baa3e868213b (patch) | |
| tree | ebb666abf91246715889a39f61115bc1a387482e /Tests | |
| parent | Polyhedron abstraction with Z3 for cardinality propagation (diff) | |
| download | VIATRA-Generator-c420930fbd57421e8accaf3d6af9baa3e868213b.tar.gz VIATRA-Generator-c420930fbd57421e8accaf3d6af9baa3e868213b.tar.zst VIATRA-Generator-c420930fbd57421e8accaf3d6af9baa3e868213b.zip | |
Transitive closure of type hierarchy in ScopePropagator
This does not mappter for propagateAllScopeConstraints(),
but propagateAdditionToType gets more exact this way.
Diffstat (limited to 'Tests')
0 files changed, 0 insertions, 0 deletions