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

SMCDEL.Examples.LetterPassing

Documentation

explain :: Prp -> String Source #

atP :: Int -> Prp Source #

forP :: Int -> Prp Source #

at :: Int -> Form Source #

for :: Int -> Form Source #

letterStart :: MultipointedKnowScene Source #

letterPass :: Int -> Int -> Int -> Labelled MultipointedEvent Source #

letterGoal :: Form Source #

letter :: CoopTask MultipointedKnowScene MultipointedEvent Source #

letterStartFor :: Int -> MultipointedKnowScene Source #

letterLine :: Int -> CoopTask MultipointedKnowScene MultipointedEvent Source #