Colorize

[TonitaN]

• [x] - Determinize
• [x] - Minimize
• [x] - RemEps
• [x] - RemoveTrap
• [x] - AddTrap
• [x] - MergeBisim
• [x] - Annote
• [x] - IsOneUnamb (SemDet отлетает в другой таск) Пока так.

[TonitaN]

Возникает вопрос, где хранить выделенные цвета для состояний автомата (например, номер цвета, соответствующий ловушке), и вообще, не нужно ли перенести методы разметки на уровень абстракции выше.

[xendalm]

А может в отдельный класс вынести раскрашиватель, где он будет иметь все, что нужно. Чтобы не встраивать его в существующие объекты. Ещё не успел отследить, что изменилось в раскраске на текущий момент. Но методы типа mark_all_transitions, наверное, получится вынести в friend класс

[xendalm]

Ну по сути нейпспейс, а не класс получится, если нам нечего хранить

[TonitaN]

А поздно, уже класс)

[TonitaN]

Раскраска SemDet требует переноса последних изменений в (ныне забагованном в main) SemDet. Не думаю, что будет хорошей идеей откладывать первый PR по Colorize до полного внесения изменений в частях Эдгара, тем более, их логично делать в другой ветке.