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

SMCDEL.Examples.SimpleK

Documentation

exampleModel :: KripkeModel Source #

examplePointedModel :: PointedModel Source #

aliceBdd :: Bdd Source #

bobBdd :: Bdd Source #

exampleGenActM :: ActionModel Source #

examplePointedActM :: PointedActionModel Source #

exampleResult :: PointedModel Source #

exampleStart :: BelScene Source #

exampleEvent :: Event Source #

exampleBlTresult :: BelScene Source #

publicMakeFalseActM :: [Agent] -> Prp -> PointedActionModel Source #

publicMakeFalseTrf :: [Agent] -> Prp -> Event Source #

myEvent :: Event Source #

tResult :: BelScene Source #

flipOverAndShowTo :: [Agent] -> Prp -> Agent -> Event Source #

myOtherEvent :: Event Source #

tResult2 :: BelScene Source #

exampleBelScn :: BelScene Source #