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

Enhancement: add getOneRandomMatch() to query API #72

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 526769 | | Status | NEW | | Importance | P3 enhancement | | Reported | Nov 02, 2017 10:18 EDT | | Modified | Feb 08, 2018 09:45 EDT | | Reporter | Daniel Varro |

Description

The query API could include method for retrieving one match truly randomly. Currently, the query engine retrieves a single match in a deterministic way. The rationale is to revive stochastic simulations (developed for VIATRA2) in the context of an academic collaboration with biologists from US.