Opened 10 years ago

Last modified 10 years ago

#35 new enhancement

Improving $RESULT and $STATE commands

Reported by: Dr. Ivan S. Zapreev Owned by: Christina Jansen
Priority: major Milestone: MRMC future
Component: Core Version: 1.3
Keywords: Cc: Viet Yen Nguyen

Description

In the command prompt of MRMC, add a possibility to get not just the $RESULT[i] but $RESULT[i..j, ..., k-p] etc. The same goes for $STATE{}.

This way users will be able to get resulting probabilities and etc for some set of states, they have interest in.

Change History (1)

comment:1 Changed 10 years ago by Dr. Ivan S. Zapreev

Component: Bisimulation EngineCore
Note: See TracTickets for help on using tickets.