Nr | Name | Value |
---|---|---|
1 | House | {0,1,2,3,4} |
2 | color_House | {(0|->yellow),(1|->blue),(2|->red),(3|->green),(4|->white)} |
3 | nationality_House | {(0|->Norwegian),(1|->Dane),(2|->Englishman),(3|->German),(4|->Swede)} |
4 | drink_House | {(0|->water),(1|->tea),(2|->milk),(3|->coffee),(4|->beer)} |
5 | cigarette_House | {(0|->Dunhills),(1|->Blend),(2|->Pall_Mall),(3|->Prince),(4|->Blue_Masters)} |
6 | pet_House | {(0|->cat),(1|->horse),(2|->bird),(3|->fish),(4|->dog)} |
Nr | Name | Value |
---|---|---|
1 | Color | {red,blue,green,white,yellow} |
2 | Nationality | {Englishman,Dane,German,Norwegian,Swede} |
3 | Drink | {tea,beer,coffee,milk,water} |
4 | Cigarette | {Pall_Mall,Blend,Blue_Masters,Dunhills,Prince} |
5 | Pet | {dog,bird,cat,fish,horse} |
Nr | Event | Target State ID |
---|---|---|
1 | SETUP_CONSTANTS(House={0,1,2,3,4},color_House={(0|->yellow),(1|->blue),(2|->red),(3|->green),(4|->white)},nationality_Ho... | State 0 |
2 | INITIALISATION() | |
3 | run0 |