package Ġxyz . col in hol z man . mak ina Ċ Ċ class ĠTest States Ġ{ ĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġs 1 ĠĠĠĠĠĠĠĠĠĠĠ Ġs 2 ĠĠĠĠĠ Ġs 3 ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠĠĠĠĠĠĠĠĠ Ġ/ ĠĠ Ġ\ ĠĠĠĠĠĠĠĠĠĠ Ġ| ĠĠĠĠĠ Ġ/ Ġ Ġ\ ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠĠĠĠĠĠĠ Ġ/ ĠĠĠĠĠ Ġ\ ĠĠĠĠĠĠĠĠ Ġs 2 1 ĠĠ Ġs 2 ĠĠ Ġs 1 2 ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠĠĠĠĠ Ġs 1 1 ĠĠĠĠĠ Ġs 1 2 ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠĠĠĠ Ġ/ Ġ Ġ\ ĠĠĠĠĠ Ġ/ Ġ Ġ\ ĊĠĠĠĠĠĠĠ Ġ// ĠĠĠĠ Ġs 1 1 1 Ġs 1 1 2 Ġs 1 2 1 Ġs 1 2 2 ĊĊĠĠĠĠĠĠĠ Ġval Ġs 1 1 1 Ġ= ĠState (" s 1 1 1 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 ", Ġ" s 1 1 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 1 1 2 Ġ= ĠState (" s 1 1 2 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 ", Ġ" s 1 1 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 1 1 Ġ= ĠState (" s 1 1 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 ")) ĊĊĠĠĠĠĠĠĠ Ġval Ġs 1 2 1 Ġ= ĠState (" s 1 2 1 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 ", Ġ" s 1 2 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 1 2 2 Ġ= ĠState (" s 1 2 2 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 ", Ġ" s 1 2 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 1 2 Ġ= ĠState (" s 1 2 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 1 "), Ġinitial Ġ= Ġtrue ) ĊĊĠĠĠĠĠĠĠ Ġval Ġs 1 Ġ= ĠState (" s 1 ") ĊĊĠĠĠĠĠĠĠ Ġval Ġs 2 1 Ġ= ĠState (" s 2 1 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 2 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 2 Ġ= ĠState (" s 2 ", Ġinitial Ġ= Ġtrue ) ĊĊĠĠĠĠĠĠĠ Ġval Ġs 3 Ġ= ĠState (" s 3 ") ĊĊĠĠĠĠĠĠĠ Ġval Ġs 3 _ s 2 Ġ= ĠState (" s 2 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 3 ")) ĊĠĠĠĠĠĠĠ Ġval Ġs 3 _ s 1 2 Ġ= ĠState (" s 1 2 ", ĠparentId Ġ= ĠlistOf (".", Ġ" s 3 ")) ĊĊĠĠĠĠĠĠĠ Ġval Ġmachine Ġ= ĠMachine (" test ", ĠlistOf ( s 1 , Ġs 2 , Ġs 1 1 , Ġs 1 2 , Ġs 2 1 , Ġs 1 1 1 , Ġs 1 1 2 , Ġs 1 2 1 , Ġs 1 2 2 , Ġs 3 , Ġs 3 _ s 2 , Ġs 3 _ s 1 2 )) ĊĠĠĠ Ġ} Ċ }