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

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 - S

safeHandLists	SMCDEL.Examples.RussianCards
safepost
1 (Function)	SMCDEL.Explicit.S5
2 (Function)	SMCDEL.Explicit.K
sallyComesBack	SMCDEL.Examples.SallyAnne
sallyFinal	SMCDEL.Examples.SallyAnne
sallyFinalCheck	SMCDEL.Examples.SallyAnne
sallyInit	SMCDEL.Examples.SallyAnne
sallyIntermediate1	SMCDEL.Examples.SallyAnne
sallyIntermediate2	SMCDEL.Examples.SallyAnne
sallyIntermediate3	SMCDEL.Examples.SallyAnne
sallyIntermediate4	SMCDEL.Examples.SallyAnne
sallyLeaves	SMCDEL.Examples.SallyAnne
sallyPutsMarbleInBasket	SMCDEL.Examples.SallyAnne
samplerel	SMCDEL.Symbolic.K
sanityCheck	SMCDEL.Internal.Sanity
sapAllProps	SMCDEL.Examples.SumAndProduct
sapExplainState	SMCDEL.Examples.SumAndProduct
sapForm1	SMCDEL.Examples.SumAndProduct
sapForm2	SMCDEL.Examples.SumAndProduct
sapForm3	SMCDEL.Examples.SumAndProduct
sapKnows	SMCDEL.Examples.SumAndProduct
sapKnStruct	SMCDEL.Examples.SumAndProduct
sapProtocol	SMCDEL.Examples.SumAndProduct
sapSolutions	SMCDEL.Examples.SumAndProduct
satCountWith	SMCDEL.Symbolic.S5_DD
Semantics	SMCDEL.Language
set	SMCDEL.Internal.Help
seteq	SMCDEL.Internal.Help
SF	SMCDEL.Language
shareknow
1 (Function)	SMCDEL.Symbolic.S5
2 (Function)	SMCDEL.Symbolic.S5_DD
shiftPrepare
1 (Function)	SMCDEL.Symbolic.S5
2 (Function)	SMCDEL.Symbolic.S5_DD
3 (Function)	SMCDEL.Symbolic.Ki
4 (Function)	SMCDEL.Symbolic.K
showme	SMCDEL.Other.MCTRIANGLE
showSet	SMCDEL.Language
shrinkform	SMCDEL.Language
SimplifiedForm	SMCDEL.Language
simplify	SMCDEL.Language
simStep	SMCDEL.Language
sIs	SMCDEL.Examples.SumAndProduct
size
1 (Function)	SMCDEL.Symbolic.S5
2 (Function)	SMCDEL.Symbolic.S5_DD
sizeOf	SMCDEL.Symbolic.S5_DD
smartKripkeToKns	SMCDEL.Translations.S5
smartKripkeToKnsWithoutChecks	SMCDEL.Translations.S5
solveN	SMCDEL.Explicit.DEMO_S5
some	SMCDEL.Other.MCTRIANGLE
someonepaid	SMCDEL.Examples.DiningCrypto
sortL	SMCDEL.Explicit.DEMO_S5
sProps	SMCDEL.Examples.SumAndProduct
start
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
State
1 (Type/Class)	SMCDEL.Other.MCTRIANGLE
2 (Type/Class)	SMCDEL.Symbolic.S5
3 (Type/Class)	SMCDEL.Symbolic.S5_DD
StateMap	SMCDEL.Translations.S5
statesOf
1 (Function)	SMCDEL.Symbolic.S5
2 (Function)	SMCDEL.Symbolic.S5_DD
3 (Function)	SMCDEL.Symbolic.Ki
4 (Function)	SMCDEL.Symbolic.K
Status	SMCDEL.Explicit.K
StatusMap	SMCDEL.Explicit.K
step	SMCDEL.Other.MCTRIANGLE
step1
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
step2
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
step3
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
step4
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
step5
1 (Function)	SMCDEL.Examples.CherylDemo
2 (Function)	SMCDEL.Examples.Cheryl
Stop	SMCDEL.Other.Planning
Story
1 (Type/Class)	SMCDEL.Examples.Prisoners
2 (Data Constructor)	SMCDEL.Examples.Prisoners
sub	SMCDEL.Explicit.DEMO_S5
subformulas	SMCDEL.Language
subseteq	SMCDEL.Internal.Help
substit
1 (Function)	SMCDEL.Language
2 (Function)	SMCDEL.Symbolic.S5_DD
substitOutOf	SMCDEL.Language
substitSet	SMCDEL.Language
substitSimul	SMCDEL.Symbolic.S5_DD
succeeds	SMCDEL.Examples.GossipKw
svg	SMCDEL.Internal.TexDisplay
svgViaTex	SMCDEL.Internal.TexDisplay