SMCDEL.Examples.Prisoners

Documentation

n :: Int

light :: Form

prisonExpStart :: KripkeModelS5

prisonGoal :: Form

prisonAction :: ActionModelS5

prisonInterview :: Int -> MultipointedActionModelS5

data Story a b

Constructors

Story a [b]

Instances

(Update a b, Optimizable a, TexAble a, TexAble b) => TexAble (Story a b)

Defined in SMCDEL.Examples.Prisoners

Methods

tex :: Story a b -> String

texTo :: Story a b -> String -> IO ()

texDocumentTo :: Story a b -> String -> IO ()

pdfTo :: Story a b -> String -> IO ()

disp :: Story a b -> IO ()

svgViaTex :: Story a b -> String

endOf :: (Update a b, Optimizable a) => Story a b -> a

prisonExpStory :: Story PointedModelS5 MultipointedActionModelS5

prisonSymStart :: MultipointedKnowScene

wasInterviewed :: Int -> Form

isNowInterviewed :: Int -> Form

lightSeenByOne :: Form

prisonSymEvent :: KnowTransformer

prisonSymInterview :: Int -> MultipointedEvent

prisonSymStory :: Story MultipointedKnowScene MultipointedEvent