/// <summary>
/// Выполняет проверку отношения переходов модели <paramref name = "model" />
/// на тотальность.
/// </summary>
/// <remarks>
/// Отношение переходов модели называется <i>тотальным</i>, если
/// из каждого состояния существует переход в некоторое состояние.
/// </remarks>
/// <param name = "model">Модель.</param>
/// <exception cref = "ArgumentNullException"><paramref name = "model" /> является <c>null</c>.</exception>
/// <returns><c>true</c>, если отношение переходов тотально.</returns>
public static bool Check(IModel model)
{
if (model == null)
throw new ArgumentNullException ("model");
return model.States.All (s => model.Transitions (s).Count != 0);
}
