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

SMCDEL.Examples.GossipS5

Documentation

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

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

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

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

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

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