Documentation

myStart :: KnowScene Source #

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

myEvent :: Event Source #

myResult :: KnowScene Source #

exampleStart :: KnowScene Source #

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

exampleEvent :: Event Source #

exampleResult :: KnowScene Source #

thirdEvent :: Event Source #

thirdResult :: KnowScene Source #

problemPM :: PointedModelS5 Source #

problemKNS :: KnowScene Source #