Quelle MC4_spr.hs
Sprache: Haskell
|
|
module MC4 where
newtype Odlist a = ODList [a] deriving (Eq, Ord, Show)
newtype Mapping a b = Mapping [(a, b)] deriving Show
data Trie a b = Trie (Maybe b) [(a, Trie a b)] deriving Show
data AlgState_ext a b c = AlgState_ext a b c deriving Show
data BEState_ext a b c d = BEState_ext b (Odlist (a, c)) d deriving (Eq, Ord, Show)
data Agent = Child0 | Child1 | Child2 | Child3 deriving (Eq, Ord, Show)
data Act = SayIKnow | SayNothing deriving (Eq, Ord, Show)
mc_init = [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),(ODList [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())],ODList [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())])),(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),(ODList [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())],ODList [(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())])),(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),(ODList [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())],ODList [(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ())])),(BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),(ODList [(BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(False,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(False,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((False,(True,(True,True))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) ()),(BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothing)))) (ODList [(Child0,()),(Child1,()),(Child2,()),(Child3,())]) (),BEState_ext ((True,(False,(False,False))),(SayNothing,(SayNothing,(SayNothing,SayNothin | |