Improve LS planning

[eclipse-viatra-bot]

| --- | --- | | Bugzilla Link | 538741 | | Status | NEW | | Importance | P3 normal | | Reported | Sep 06, 2018 11:25 EDT | | Modified | Nov 23, 2020 08:30 EDT | | Depends on | 538744, 538742, 538743, 539785, 540915 | | Reporter | Gabor Bergmann |

Description

Tracking ticket for individual improvements

[eclipse-viatra-bot]

By Gabor Bergmann on Oct 09, 2018 10:41

Further ideas, currently without explicit tickets:

• use type inferrer to cull superfluous steps

• use type inferrer to detect subtype filters and estimate match probability (as branching factor < 1) based on instance statistics; depends on 538744

• use a version of PBodyNormalizer that applies weakened alternatives to replace certain unary indexer lookups with type checks

• long jump backtracking (up to last parameter variable; more advanced: up to last variable that has an influence on the sufffix)

• use memoization for executing LS-to-LS pattern calls (or any subsequence of steps)

[eclipse-viatra-bot]

By Gabor Bergmann on Oct 14, 2018 07:43

Commit 5f8ae96a96ed04749256bfa3c63050facc6d8fc6 of Gerrit Change I3f7fa4cae95d1d3ea3fda2d4f62eef592a37604f, while mislabeled, actually belongs here.

https://git.eclipse.org/r/#/c/130850/\ http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/commit/?id=5f8ae96a96ed04749256bfa3c63050facc6d8fc6

[eclipse-viatra-bot]

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on May 18, 2020 13:04

Postponing issues that will not be solved for version 2.5.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.