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 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage | |
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 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage')
0 files changed, 0 insertions, 0 deletions