smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

SMCDEL.Examples.GossipS5

Documentation

gossipers :: Int -> [Int] Source #

hasSof :: Int -> Int -> Int -> Prp Source #

has :: Int -> Int -> Int -> Form Source #

expert :: Int -> Int -> Form Source #

allExperts :: Int -> Form Source #

gossipInit :: Int -> KnowScene Source #

thisCallProp :: (Int, Int) -> Prp Source #

call :: Int -> (Int, Int) -> Event Source #

callTrf :: Int -> KnowTransformer Source #

doCall :: KnowScene -> (Int, Int) -> KnowScene Source #

after :: Int -> [(Int, Int)] -> KnowScene Source #

isSuccess :: Int -> [(Int, Int)] -> Bool Source #

whoKnowsMeta :: KnowScene -> [(Int, [(Int, String)])] Source #

allSequs :: Int -> Int -> [[(Int, Int)]] Source #