A technakiai segédletben van egy ilyen rész:
Figyelem! A Yakindu természetesen jóval szélesebb körű felhasználásra alkalmas, mint a Rendszermodellezés
házi feladat. Így vannak olyan modellezési elemei, amelyeket más felhasználási
esetkere szántak, a házi feladat szempontjából értelmetlenek, és így használatukat nem engedjük
meg. (Konkrétabban: a Rendszermodellezés házi feladat kontextusában, a Digitális technika
tárgyból tanult szinkron áramkörökkel ellentétben, nincs meghatározott órajel fogalom, így a
kifejezetten erre építő Yakindu nyelvi elemek a szimulációban és tesztelés közben nem fognak
helyesen működni.) Ezen tiltott elemek:
– always
– oncycle
– Kiváltó esemény nélküli állapotátmenet (a Yakindu a fentiekkel ekvivalensen értelmezi)
Nekem az lenne a kérdésem, hogy lehet-e olyan állapotátmenetet használni, amire csak őrfeltételt írtam. Nálam az összes teszt hibátlanul fut.