• Navigation
  • Main Page
  • User Manual
  • Tutorials
  • Developer Manual
  • Benchmarks
  • Licence
  • Logic Calculator
• Special Pages
  • Recent changes
• User
  • Log in

Help

Statistics View: Difference between revisions

Revision as of 08:24, 20 September 2017 (view source) Yumiko Takahashi (talk | contribs) (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...")		Latest revision as of 09:05, 27 September 2017 (view source) Yumiko Takahashi (talk | contribs) 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