[Modelinterpreter] 10k állapot

[kmate at caesar.elte.hu]

Sziasztok!

A trunk-ban már elő tudjuk állítani a 10k állapotgép kódját. A  
legutóbb már kisebb gépeknél is gond volt, hogy a JVM határait  
elérjük, így a gépet léptető step függvényt particionáljuk. Ez 10k  
állapot esetén most 78 step függvényre válik szét :)

A nagyobb baj, hogy most 2 helyen fogy el a code space:
- az első állapot behavior-ja 10k reception-t hívna, ami megint túl sok kód
- az állapotok egy 10k+1 elemű enumot alkotnak, ami egy initializer  
függvénybe fordulna, amiben megint sok lesz a kód

Az első probléma kiküszöbölhető, amint támogatjuk a ciklusokat -  
egyszerűen azt kéne a modelbe generálni, és akkor azt is fordítanánk  
belőle.

A másodikhoz megint egy nem triviális particionálás kell, és ugye  
jóval nagyobb elemszámnál jön, mint az előző probléma.

Szóval ezen szerintem felesleges sokat agyalni...

Üdv,
  Máté