| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SMCDEL.Explicit.DEMO_S5
Synopsis
- newtype Agent = Ag Int
- data DemoPrp
- data EpistM state = Mo [state] [Agent] [(state, [DemoPrp])] [(Agent, Erel state)] [state]
- rel :: Show a => Agent -> EpistM a -> Erel a
- initM :: (Num state, Enum state) => [Agent] -> [DemoPrp] -> EpistM state
- powerList :: [a] -> [[a]]
- sortL :: Ord a => [[a]] -> [[a]]
- data DemoForm a
- impl :: DemoForm a -> DemoForm a -> DemoForm a
- isTrueAt :: (Show state, Ord state) => EpistM state -> state -> DemoForm state -> Bool
- isTrue :: Show a => Ord a => EpistM a -> DemoForm a -> Bool
- updPa :: (Show state, Ord state) => EpistM state -> DemoForm state -> EpistM state
- updsPa :: (Show state, Ord state) => EpistM state -> [DemoForm state] -> EpistM state
- updPaW :: (Show state, Ord state) => EpistM state -> DemoForm state -> EpistM state
- updsPaW :: (Show state, Ord state) => EpistM state -> [DemoForm state] -> EpistM state
- sub :: Show a => [(DemoPrp, DemoForm a)] -> DemoPrp -> DemoForm a
- updPc :: (Show state, Ord state) => [DemoPrp] -> EpistM state -> [(DemoPrp, DemoForm state)] -> EpistM state
- updsPc :: Show state => Ord state => [DemoPrp] -> EpistM state -> [[(DemoPrp, DemoForm state)]] -> EpistM state
- updPi :: (state1 -> state2) -> EpistM state1 -> EpistM state2
- bTables :: Int -> [[Bool]]
- initN :: Int -> EpistM [Bool]
- fatherN :: Int -> DemoForm [Bool]
- kn :: Int -> Int -> DemoForm [Bool]
- dont :: Int -> DemoForm [Bool]
- knowN :: Int -> DemoForm [Bool]
- solveN :: Int -> EpistM [Bool]
Documentation
Constructors
| Top | |
| Info a | |
| Prp DemoPrp | |
| Ng (DemoForm a) | |
| Conj [DemoForm a] | |
| Disj [DemoForm a] | |
| Kn Agent (DemoForm a) | |
| PA (DemoForm a) (DemoForm a) | |
| PAW (DemoForm a) (DemoForm a) |
Instances
| Show a => Show (DemoForm a) Source # | |
| Eq a => Eq (DemoForm a) Source # | |
| Ord a => Ord (DemoForm a) Source # | |
Defined in SMCDEL.Explicit.DEMO_S5 | |
isTrueAt :: (Show state, Ord state) => EpistM state -> state -> DemoForm state -> Bool Source #
semantics: truth at a world in a model
updPa :: (Show state, Ord state) => EpistM state -> DemoForm state -> EpistM state Source #
public announcement
updPaW :: (Show state, Ord state) => EpistM state -> DemoForm state -> EpistM state Source #
public announcement-whether
updPc :: (Show state, Ord state) => [DemoPrp] -> EpistM state -> [(DemoPrp, DemoForm state)] -> EpistM state Source #
public factual change