smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic (Index - C)

smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
!
$
|
All

Index - C

call
1 (Function)	SMCDEL.Examples.GossipS5
2 (Function)	SMCDEL.Examples.GossipKw
callTrf
1 (Function)	SMCDEL.Examples.GossipS5
2 (Function)	SMCDEL.Examples.GossipKw
cardIsAt	SMCDEL.Examples.Toynabi
carol	SMCDEL.Language
Check	SMCDEL.Other.Planning
checkBisim
1 (Function)	SMCDEL.Explicit.S5
2 (Function)	SMCDEL.Explicit.K
checkBisimClasses	SMCDEL.Explicit.S5
checkBisimPointed
1 (Function)	SMCDEL.Explicit.S5
2 (Function)	SMCDEL.Explicit.K
checkHandsFor	SMCDEL.Examples.RussianCards
checkPropu	SMCDEL.Symbolic.S5
checks	SMCDEL.Language
checkSet	SMCDEL.Examples.RussianCards
checkSetFor	SMCDEL.Examples.RussianCards
cheryl	SMCDEL.Examples.Cheryl
cherylIs	SMCDEL.Examples.CherylDemo
cherylsBirthday	SMCDEL.Examples.Cheryl
cIgnorant	SMCDEL.Examples.RussianCards
cIgnorantN	SMCDEL.Examples.RussianCards
cIs	SMCDEL.Examples.WhatSum
Ck	SMCDEL.Language
Ckw	SMCDEL.Language
Clean	SMCDEL.Other.MCTRIANGLE
cleanupObsLaw	SMCDEL.Symbolic.K
coinFlip	SMCDEL.Examples.CoinFlip
coinResult	SMCDEL.Examples.CoinFlip
coinStart	SMCDEL.Examples.CoinFlip
comknow
1 (Function)	SMCDEL.Symbolic.S5
2 (Function)	SMCDEL.Symbolic.S5_DD
con	SMCDEL.Symbolic.S5_DD
Conj
1 (Data Constructor)	SMCDEL.Explicit.DEMO_S5
2 (Data Constructor)	SMCDEL.Language
3 (Data Constructor)	SMCDEL.Other.MCTRIANGLE
conSet	SMCDEL.Symbolic.S5_DD
convert	SMCDEL.Translations.Convert
Convertable	SMCDEL.Translations.Convert
CoopTask
1 (Type/Class)	SMCDEL.Other.Planning
2 (Data Constructor)	SMCDEL.Other.Planning
cp
1 (Function)	SMCDEL.Internal.TaggedBDD
2 (Function)	SMCDEL.Symbolic.Ki
3 (Function)	SMCDEL.Symbolic.K
cpBdd
1 (Function)	SMCDEL.Symbolic.Ki
2 (Function)	SMCDEL.Symbolic.K
cpMany	SMCDEL.Internal.TaggedBDD
cpP
1 (Function)	SMCDEL.Symbolic.Ki
2 (Function)	SMCDEL.Symbolic.K
cProps	SMCDEL.Examples.WhatSum