diff options
author | 2019-07-14 20:48:09 +0200 | |
---|---|---|
committer | 2019-07-14 20:48:09 +0200 | |
commit | c420930fbd57421e8accaf3d6af9baa3e868213b (patch) | |
tree | ebb666abf91246715889a39f61115bc1a387482e /Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib | |
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/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib')
0 files changed, 0 insertions, 0 deletions