commit	5bee864fe02c2ee3bb3fcc021d36c2aa8aaacfb4	[log] [tgz]
author	Marton Elekes <marci543@gmail.com>	Tue Jul 18 17:15:28 2017 +0200
committer	Marton Elekes <marci543@gmail.com>	Tue Jul 18 17:15:28 2017 +0200
tree	e4cd380b6e2407b4fd8a343ae039a3a00a7ced2e
parent	3cc9e82e94b64c81ee46a9a1f068b438c054e09d [diff]

[519174] Add option to enter random seed for CPS Generator wizard

This commit enables randomization in CPS Generator wizard.
Both time-based or fixed seed can be used.

Change-Id: I3b1a6a9dc23f44c88b6d183d33b4c455a481afb9
Signed-off-by: Marton Elekes <marci543@gmail.com>

cps/application/org.eclipse.viatra.examples.cps.application.ui/src/org/eclipse/viatra/examples/cps/application/ui/cpsgenerator/CPSGeneratorWizard.java[diff]
cps/application/org.eclipse.viatra.examples.cps.application.ui/src/org/eclipse/viatra/examples/cps/application/ui/cpsgenerator/ConstraintTypePage.java[diff]

2 files changed

tree: e4cd380b6e2407b4fd8a343ae039a3a00a7ced2e

cep/
cps/
dse/
mwe/
query/
releng/
transformation/
.gitignore
README.md

README.md

VIATRA - Examples

Contributing to VIATRA

Please read the Contributing wiki page to understand our contribution process.

License

All code in this repository is available under the Eclipse Public License v1.0: http://www.eclipse.org/legal/epl-v10.html