same | Text.Dot |
Saturate | Scyther.Proof |
saturate | Scyther.Sequent |
saturateFacts | Scyther.Facts |
scanFile | Scyther.Theory.Parser |
scanIdent | Scyther.Theory.Lexer |
scanString | Scyther.Theory.Parser |
scope | Text.Dot |
seConcl | Scyther.Sequent |
second | Control.Basics |
semi | Text.PrettyPrint.Class, Text.Isar |
Send | Scyther.Protocol, Scyther.Facts |
sep | Text.PrettyPrint.Class, Text.Isar |
sePrem | Scyther.Sequent |
seProto | Scyther.Sequent |
sequence | Control.Basics |
sequence_ | Control.Basics |
Sequent | |
1 (Type/Class) | Scyther.Sequent |
2 (Data Constructor) | Scyther.Sequent |
setAlignment | Data.Table |
setCell | Data.Table |
setTyping | Scyther.Facts |
share | Text.Dot |
SHARP | Scyther.Theory.Lexer, Scyther.Theory.Parser |
shortestProof | Scyther.Proof |
showDot | Text.Dot |
shrinkTheory | Scyther.Theory |
singleQuoted | Scyther.Theory.Parser |
singleton | Extension.Prelude |
size | Data.UnionFind |
skip | Scyther.Theory.Lexer |
SlimOutput | |
1 (Type/Class) | Scyther.Theory.Pretty |
2 (Data Constructor) | Scyther.Theory.Pretty |
solve | Scyther.Equalities |
some | Control.Basics |
sortednub | Extension.Prelude |
sortednubOn | Extension.Prelude |
sortOn | Extension.Prelude |
sortOnMemo | Extension.Prelude |
sortPair | Extension.Prelude |
sound | Scyther.Proof |
space | Text.PrettyPrint.Class, Text.Isar |
splitBy | Extension.Prelude |
SplitEq | Scyther.Proof |
splitEq | Scyther.Sequent |
splitEqFacts | Scyther.Facts |
splitNonTrivial | Scyther.Message, Scyther.Facts |
splitpatterns | Scyther.Protocol, Scyther.Facts |
splittableEqs | Scyther.Facts |
sptAgentId | Scyther.Message, Scyther.Facts |
sptAnyEq | Scyther.Equalities |
sptAtom | Scyther.Formula, Scyther.Facts |
sptAVar | Scyther.Message, Scyther.Facts |
sptEvent | Scyther.Event, Scyther.Facts |
sptEventOrd | Scyther.Event, Scyther.Facts |
sptFacts | Scyther.Facts |
sptFormula | Scyther.Formula, Scyther.Facts |
sptFresh | Scyther.Message, Scyther.Facts |
sptId | Scyther.Protocol, Scyther.Facts |
sptLabel | Scyther.Protocol, Scyther.Facts |
sptMessage | Scyther.Message, Scyther.Facts |
sptMVar | Scyther.Message, Scyther.Facts |
sptOptType | Scyther.Typing, Scyther.Facts |
sptPattern | Scyther.Protocol, Scyther.Facts |
sptProtocol | Scyther.Protocol, Scyther.Facts |
sptProtoIllformedness | Scyther.Protocol, Scyther.Facts |
sptRawEvent | Scyther.Event, Scyther.Facts |
sptRole | Scyther.Protocol, Scyther.Facts |
sptRoleStep | Scyther.Protocol, Scyther.Facts |
sptTID | Scyther.Message, Scyther.Facts |
sptType | Scyther.Typing, Scyther.Facts |
sptTyping | Scyther.Typing, Scyther.Facts |
SQUOTE | Scyther.Theory.Lexer, Scyther.Theory.Parser |
STAR | Scyther.Theory.Lexer, Scyther.Theory.Parser |
stateLocale | Scyther.Protocol, Scyther.Facts |
Step | Scyther.Event, Scyther.Facts |
stepFAV | Scyther.Protocol, Scyther.Facts |
stepFMV | Scyther.Protocol, Scyther.Facts |
stepLabel | Scyther.Protocol, Scyther.Facts |
stepPat | Scyther.Protocol, Scyther.Facts |
string | Scyther.Theory.Parser |
strings | Scyther.Theory.Parser |
Style | |
1 (Type/Class) | Text.PrettyPrint.Class, Text.Isar |
2 (Data Constructor) | Text.PrettyPrint.Class, Text.Isar |
style | Text.PrettyPrint.Class, Text.Isar |
submessages | Scyther.Message, Scyther.Facts |
subpatterns | Scyther.Protocol, Scyther.Facts |
substAgentEqRHS | Scyther.Equalities |
substAgentId | Scyther.Equalities |
substAnyEq | Scyther.Equalities |
substAtom | Scyther.Formula |
substAVar | Scyther.Equalities |
substEv | |
1 (Function) | Scyther.Event |
2 (Function) | Scyther.Facts |
substEvOrd | Scyther.Event |
substLocalId | Scyther.Equalities |
substMsg | Scyther.Equalities |
substMVar | Scyther.Equalities |
substTID | Scyther.Equalities |
SumT | Scyther.Typing, Scyther.Facts |
swap | Extension.Prelude |
symbol | Text.Isar |
SymKT | Scyther.Typing, Scyther.Facts |