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

SMCDEL.Examples.GossipKw

Documentation

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

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