Algoritmy - Input constraints
Některé algoritmy nepřijímají všechny typy, které mají na vstupu, eg. anormalize
bere FSM
, ale ve skutečnosti to musí býti mDFA
.
Tyhle kontroly by měly být uvnitř algoritmu (asi konstruktoru té třídy), nikoli v binárce (z důvodu používání algoritmů -tříd- v jiné binárce/algo)
Takže
- existující kontroly přesunout přímo do algoritmů
- neexistující přidat!