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

SMCDEL.Translations.K

Description

Converting between Kripke Models and Belief Structures

Synopsis

Documentation

blsToKripke :: BelScene -> PointedModel Source #

Convert a belief scene to a pointed Kripke model.

kripkeToBls :: PointedModel -> BelScene Source #

kripkeToBlsUnsafe :: PointedModel -> BelScene Source #

ensureDistinctVal :: PointedModel -> PointedModel Source #

actionToEvent :: PointedActionModel -> Event Source #

eventToAction :: Event -> PointedActionModel Source #