SMCDEL.Examples.DoorMat
explain :: Prp -> String Source #
dmStart :: MultipointedKnowScene Source #
tryTake :: MultipointedEvent Source #
tryTakeL :: Labelled MultipointedEvent Source #
dmGoal :: Form Source #
dmTask :: Task MultipointedKnowScene MultipointedEvent Source #
dmResult :: MultipointedKnowScene Source #
dmResultKripke :: MultipointedModelS5 Source #
dmResultBob :: MultipointedKnowScene Source #
dmResultBobKripke :: MultipointedModelS5 Source #
dm :: Task MultipointedKnowScene MultipointedEvent Source #
dmCoop :: CoopTask MultipointedKnowScene MultipointedEvent Source #
announce :: MultipointedEvent Source #
announce' :: Labelled MultipointedEvent Source #
dmCoop2 :: CoopTask MultipointedKnowScene MultipointedEvent Source #
dmPlan2 :: ICPlan MultipointedEvent Source #