search

eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Symmetry reduction support in DSE #34

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 495593 | | Status | NEW | | Importance | P3 normal | | Reported | Jun 07, 2016 07:50 EDT | | Modified | Aug 05, 2016 04:25 EDT | | Version | 1.3.0 | | Reporter | Andras Szabolcs Nagy |

Description

The search space can be reduced drastically if there are known activations, which are sequentially independent.

The rule engine's ConflictResolver will be used to support this feature. DSE specific API will be developed for this purpose.

The FixedPriorityStrategy will be marked removed in the future as does the same as DFS exploration strategy with a fixed priority conflict resolver.

eclipse-viatra-bot commented 5 months ago

By Andras Szabolcs Nagy on Jun 07, 2016 08:56

Conflict set is now changeable:\ http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/commit/?id=acbecaed58e180ffc63fd64e72fe805c467de947

eclipse-viatra-bot commented 5 months ago

By Andras Szabolcs Nagy on Aug 05, 2016 04:25

Postponed.