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

SMCDEL.Examples.Cheryl

Documentation

type Possibility = (Int, String) Source #

possibilities :: [Possibility] Source #

dayIs :: Int -> Prp Source #

monthIs :: String -> Prp Source #

thisPos :: Possibility -> Form Source #

knWhich :: Agent -> Form Source #

start :: KnowStruct Source #

round1 :: KnowStruct Source #

round2 :: KnowStruct Source #

round3 :: KnowStruct Source #

cherylsBirthday :: String Source #

newtype Variable Source #

Constructors

Var [Prp] 

Instances

Instances details
Show Variable Source # 
Instance details

Defined in SMCDEL.Examples.Cheryl

Methods

showsPrec :: Int -> Variable -> ShowS #

show :: Variable -> String #

showList :: [Variable] -> ShowS #

Eq Variable Source # 
Instance details

Defined in SMCDEL.Examples.Cheryl

Methods

(==) :: Variable -> Variable -> Bool #

(/=) :: Variable -> Variable -> Bool #

Ord Variable Source # 
Instance details

Defined in SMCDEL.Examples.Cheryl

Methods

compare :: Variable -> Variable -> Ordering #

(<) :: Variable -> Variable -> Bool #

(<=) :: Variable -> Variable -> Bool #

(>) :: Variable -> Variable -> Bool #

(>=) :: Variable -> Variable -> Bool #

max :: Variable -> Variable -> Variable #

min :: Variable -> Variable -> Variable #

bitsOf :: Int -> [Int] Source #

is :: Variable -> Int -> Form Source #

isBdd :: Variable -> Int -> Bdd Source #

valueIn :: Variable -> State -> Int Source #

explainState :: [Variable] -> State -> [Int] Source #

kv :: Agent -> Variable -> Form Source #

allStates :: [(Int, Int, Int)] Source #

cheryl :: Variable Source #

broOne :: Variable Source #

ageKnsStart :: KnowStruct Source #

step1 :: KnowStruct Source #

step2 :: KnowStruct Source #

step3 :: KnowStruct Source #

step4 :: KnowStruct Source #

step5 :: KnowStruct Source #

revealTransformer :: KnowTransformer Source #