Ticket #35 (new enhancement)

Opened 4 years ago

Last modified 4 years ago

Improving $RESULT and $STATE commands

Reported by: ivan.zapreev Owned by: christinajansen
Priority: major Milestone: MRMC future
Component: Core Version: 1.3
Keywords: Cc: 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

Changed 4 years ago by ivan.zapreev

  • component changed from Bisimulation Engine to Core
Note: See TracTickets for help on using tickets.