diff options
author | 2019-07-14 20:48:09 +0200 | |
---|---|---|
committer | 2019-07-14 20:48:09 +0200 | |
commit | c420930fbd57421e8accaf3d6af9baa3e868213b (patch) | |
tree | ebb666abf91246715889a39f61115bc1a387482e /Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/Z3PolyhedronSolverTest.xtend | |
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/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/Z3PolyhedronSolverTest.xtend')
0 files changed, 0 insertions, 0 deletions