Описание
Минимизации не работает для стратегии tla (т.к. это класс Scheduler, а не Strategy, что усложняет ее реализацию). Возможно, было бы разумно разделить класс TLAScheduler на две части, одна из которых связана с реализацией стратегии, а вторая - с перебором свитчей.
Описание
Минимизации не работает для стратегии
tla(т.к. это классScheduler, а неStrategy, что усложняет ее реализацию). Возможно, было бы разумно разделить классTLASchedulerна две части, одна из которых связана с реализацией стратегии, а вторая - с перебором свитчей.