All possible combinations

12 views
Skip to first unread message

13mscs...@seecs.edu.pk

unread,
Jun 27, 2016, 3:12:14 AM6/27/16
to PRISM model checker
Hello All

I want to ask a question. I have a variables wh1 :[0..5] ,wh2 :[0..5] ,wh3 :[0..5] ,wh4 :[0..5] ,wh5 :[0..5] ,wh6 :[0..5] ,wh7 :[0..5] ,wh8 :[0..5] ,wh9 :[0..5] ,wh10 :[0..5] ,

I want to find out all possible combinations ranging from [1..10]. i.e. 1 out of 10, 2 out of 10, 3 out of 10 and so on. It makes a lot of combinations e.g. 6 out of 10  make 210 combinations, 5 out of 10 make 252  and same for 1,2,3,4,7,8,9,10 out of 10. After finding all possible combinations i want to assign them values ranging from 1 to 5. For example

I have one possible combination of  6 out of 10 i.e. wh1  , wh2 ,wh3  ,wh4 , wh5  ,wh6 . I want to assign them value 1 i.e. wh1' = 1 & wh2' = 1 & wh3' = 1 & wh4' = 1 & wh5' = 1 & wh6 '= 1


How will I do this in prism. Kindly guide me in this regard. I will be very thankful for your help

Regards
Reply all
Reply to author
Forward
0 new messages