SMCDEL.Examples.SallyAnne
pp :: Prp Source #
qq :: Prp Source #
tt :: Prp Source #
sallyInit :: BelScene Source #
sallyPutsMarbleInBasket :: Event Source #
sallyIntermediate1 :: BelScene Source #
sallyLeaves :: Event Source #
sallyIntermediate2 :: BelScene Source #
annePutsMarbleInBox :: Event Source #
sallyIntermediate3 :: BelScene Source #
sallyComesBack :: Event Source #
sallyIntermediate4 :: BelScene Source #
sallyFinal :: BelScene Source #
sallyFinalCheck :: Bool Source #