Statistics View: Difference between revisions - ProB Documentation

Statistics View: Difference between revisions

Created page with "The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional sta..."
 
No edit summary
 
Line 1: Line 1:
The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional state and transition statistics
The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional state and transition statistics
[[File:Statistics.png|left]]

Latest revision as of 09:05, 27 September 2017

The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional state and transition statistics