| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SMCDEL.Symbolic.Ki
Synopsis
- mvP :: Int -> Prp -> Prp
- cpP :: Int -> Prp -> Prp
- unmvcpP :: Int -> Prp -> Prp
- mv :: Int -> [Prp] -> [Prp]
- cp :: Int -> [Prp] -> [Prp]
- unmv :: Int -> [Prp] -> [Prp]
- uncp :: Int -> [Prp] -> [Prp]
- data Dubbel
- type RelBDD = Tagged Dubbel Bdd
- totalRelBdd :: RelBDD
- emptyRelBdd :: RelBDD
- allsamebdd :: Int -> [Prp] -> RelBDD
- class TagBdd a where
- tagBddEval :: [Prp] -> Tagged a Bdd -> Bool
- cpBdd :: Int -> Bdd -> RelBDD
- mvBdd :: Int -> Bdd -> RelBDD
- unmvBdd :: Int -> RelBDD -> Bdd
- data BelStruct = BlS [Prp] Bdd (Map Agent Int, RelBDD)
- type BelScene = (BelStruct, State)
- type MultipointedBelScene = (BelStruct, Bdd)
- bddOf :: BelStruct -> Form -> Bdd
- validViaBdd :: BelStruct -> Form -> Bool
- evalViaBdd :: BelScene -> Form -> Bool
- announce :: BelStruct -> [Agent] -> Form -> BelStruct
- statesOf :: BelStruct -> [State]
- texRelBDD :: RelBDD -> String
- bddprefix :: String
- bddsuffix :: String
- data Transformer = Trf [Prp] Form (Map Prp Bdd) (Map Agent Int, RelBDD)
- type Event = (Transformer, State)
- type MultipointedEvent = (Transformer, Bdd)
- shiftPrepare :: BelStruct -> Transformer -> (Transformer, [(Prp, Prp)])
- trfPost :: Event -> Prp -> Bdd
- reduce :: Event -> Form -> Maybe Form
- bddReduce :: BelScene -> Event -> Form -> Bdd
- evalViaBddReduce :: BelScene -> Event -> Form -> Bool
Documentation
totalRelBdd :: RelBDD Source #
emptyRelBdd :: RelBDD Source #
Minimal complete definition
Nothing
Instances
| Show BelStruct Source # | |
| Eq BelStruct Source # | |
| HasAgents BelStruct Source # | |
| HasVocab BelStruct Source # | |
| Semantics BelScene Source # | |
| Semantics BelStruct Source # | |
| Semantics MultipointedBelScene Source # | |
Defined in SMCDEL.Symbolic.Ki | |
| Pointed BelStruct Bdd Source # | |
Defined in SMCDEL.Symbolic.Ki | |
| Pointed BelStruct State Source # | |
Defined in SMCDEL.Symbolic.Ki | |
| Update BelScene Form Source # | |
| Update BelScene Event Source # | |
| Update BelScene MultipointedEvent Source # | |
Defined in SMCDEL.Symbolic.Ki Methods unsafeUpdate :: BelScene -> MultipointedEvent -> BelScene Source # checks :: [BelScene -> MultipointedEvent -> Bool] Source # preCheck :: BelScene -> MultipointedEvent -> Bool Source # update :: BelScene -> MultipointedEvent -> BelScene Source # | |
| Update BelStruct Form Source # | |
| Update BelStruct Transformer Source # | |
Defined in SMCDEL.Symbolic.Ki Methods unsafeUpdate :: BelStruct -> Transformer -> BelStruct Source # checks :: [BelStruct -> Transformer -> Bool] Source # | |
type MultipointedBelScene = (BelStruct, Bdd) Source #
data Transformer Source #
Instances
type Event = (Transformer, State) Source #
type MultipointedEvent = (Transformer, Bdd) Source #
shiftPrepare :: BelStruct -> Transformer -> (Transformer, [(Prp, Prp)]) Source #
shift addprops to ensure that props and newprops are disjoint: