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/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/PolyhedronSolverTest.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/PolyhedronSolverTest.xtend')
0 files changed, 0 insertions, 0 deletions