Removed undefined probs in herman.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@672 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 2e8e65de82
10 changed files with 10 additions and 10 deletions
--- a/prism-examples/self-stabilisation/herman/herman11.pm
+++ b/prism-examples/self-stabilisation/herman/herman11.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman13.pm
+++ b/prism-examples/self-stabilisation/herman/herman13.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman15.pm
+++ b/prism-examples/self-stabilisation/herman/herman15.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman17.pm
+++ b/prism-examples/self-stabilisation/herman/herman17.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman19.pm
+++ b/prism-examples/self-stabilisation/herman/herman19.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman21.pm
+++ b/prism-examples/self-stabilisation/herman/herman21.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman3.pm
+++ b/prism-examples/self-stabilisation/herman/herman3.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman5.pm
+++ b/prism-examples/self-stabilisation/herman/herman5.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman7.pm
+++ b/prism-examples/self-stabilisation/herman/herman7.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1
--- a/prism-examples/self-stabilisation/herman/herman9.pm
+++ b/prism-examples/self-stabilisation/herman/herman9.pm
@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc

-const double p;
+const double p = 0.5;

 // module for process 1
 module process1