-
Notifications
You must be signed in to change notification settings - Fork 1
/
ceg.json
5 lines (5 loc) · 3.11 KB
/
ceg.json
1
2
3
4
5
{
"name": "Řízení vozíku v robotické továrně",
"textDef": "Causes:\n1: nastavení klasického požadavku\n2: časová fáze < 1 minuta od nastavení klasického požadavku\n3: vyzvednutí materiálu ve fázi 2\n4: časová fáze >= 1 minuta od nastavení klasického požadavku\n5: nastavení prioritního požadavku\n6: časová fáze < 1 minuta od nastavení prioritního požadavku\n7: vyzvednutí materiálu ve fázi 6\n8: časová fáze >= 1 minuta od nastavení prioritního požadavku\n9: vozík je nastaven v režimu pouze_vykládka\n10: vozík má naložený materiál s prioritní vlastností\n11: vozík má volný alespoň 1 slot\n12: vyzvednutím daného materiálu nebude překročena maximální nosnost vozíku\n\nEffects:\n50: nastavení prioritní vlastnosti materiálu\n51: zpracování klasického požadavku a naložení materiálu bez prioritní vlastnosti\n52: nastavení prioritního požadavku\n53: zpracování prioritního požadavku a naložení materiálu s prioritní vlastností\n54: vyvolání JISTÉ výjimky\n55: přepnutí do režimu pouze_vykládka\n56: vozík nemůže vyzvedávat žádné materiály a může pouze vykládat materiály s nastavenou prioritní vlastností\n57: zůstání v režimu pouze_vykládka\n\nRules:\n50 = 4\n51 = 3 && 11 && 12\n52 = 4\n53 = 7 && 11 && 12\n54 = 8\n55 = 7\n56 = 9\n57 = 9 && 10\n\nConstraints:\n// časová souslednost\n4 -> 2\n6 -> 4\n8 -> 6\n// časová náležitost\n3 -> 2\n5 -> 4\n7 -> 6\n// podmínky využití fází\n2 -> 1\n4 -> 5\n// logické vazby\n1 -> 2\n5 -> 6\n9 -> 7\n7 -> 9\n10 -> 7\n7 -> 10\nE: 3, 4\nE: 7, 8\n",
"testCases": "Name,Description,[1],[2],[3],[4],[5]\n1,nastavení klasického požadavku,0,1,1,1,1\n2,časová fáze < 1 minuta od nastavení klasického požadavku,0,1,1,1,1\n3,vyzvednutí materiálu ve fázi 2,0,1,0,0,0\n4,časová fáze >= 1 minuta od nastavení klasického požadavku,0,0,1,1,1\n5,nastavení prioritního požadavku,0,0,1,1,1\n6,časová fáze < 1 minuta od nastavení prioritního požadavku,0,0,1,1,1\n7,vyzvednutí materiálu ve fázi 6,0,0,1,0,0\n8,časová fáze >= 1 minuta od nastavení prioritního požadavku,0,0,0,1,1\n9,vozík je nastaven v režimu pouze_vykládka,0,0,1,0,0\n10,vozík má naložený materiál s prioritní vlastností,0,0,1,0,0\n11,vozík má volný alespoň 1 slot,1,1,1,0,1\n12,vyzvednutím daného materiálu nebude překročena maximální nosnost vozíku,1,1,1,1,0\n50,nastavení prioritní vlastnosti materiálu,false,false,true,true,true\n51,zpracování klasického požadavku a naložení materiálu bez prioritní vlastnosti,false,true,false,false,false\n52,nastavení prioritního požadavku,false,false,true,true,true\n53,zpracování prioritního požadavku a naložení materiálu s prioritní vlastností,false,false,true,false,false\n54,vyvolání JISTÉ výjimky,false,false,false,true,true\n55,přepnutí do režimu pouze_vykládka,false,false,true,false,false\n56,vozík nemůže vyzvedávat žádné materiály a může pouze vykládat materiály s nastavenou prioritní vlastností,false,false,true,false,false\n57,zůstání v režimu pouze_vykládka,false,false,true,false,false\n"
}