Getting the max or min multiple values by functions

13 views
Skip to first unread message

Hamaad Rafique

unread,
May 16, 2016, 2:41:32 AM5/16/16
to PRISM model checker
Hi

I want to know how am i able to get max or min multiple values by a single function,

max_probability = max(s1,s2,s3,s4,s5,s6);

min_probability  = min(s1,s2,s3,s4,s5,s6);


Hi sir
is their any way from which i am able to get multiple max,min values so that nodes view will get updated to those 3,4 min,max selected values as this function will only return 1 max or min value?


Thanks in advance for your kind reply 

Reply all
Reply to author
Forward
0 new messages