tamarin-prover-theory-0.8.5.0: Term manipulation library for the tamarin prover.

Index - S

sCaseDistKindTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sConjDisjEqsTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sEdgesTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
semiTheory.Text.Pretty
sepTheory.Text.Pretty
sEqStoreTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sFormulasTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sGoalsTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
showFactTagTheory.Model.Fact, Theory.Model, Theory
showFactTagArityTheory.Model.Fact, Theory.Model, Theory
showFunSymNameTheory.Model, Theory
showProofStatusTheory.Proof, Theory
showRuleCaseNameTheory.Model.Rule, Theory.Model, Theory
sigmMaudeHandleTheory.Model.Signature, Theory.Model, Theory
Signature 
1 (Type/Class)Theory.Model.Signature, Theory.Model, Theory
2 (Data Constructor)Theory.Model.Signature, Theory.Model, Theory
signatureMaudeSigTheory.Model, Theory
SignaturePureTheory.Model.Signature, Theory.Model, Theory
SignatureWithMaudeTheory.Model.Signature, Theory.Model, Theory
sigpMaudeSigTheory.Model.Signature, Theory.Model, Theory
SilentTheory.Tools.AbstractInterpretation
simpTheory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
simpDisjunctionTheory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
simpleInjectiveFactInstancesTheory.Tools.InjectiveFactInstances
SimplifyTheory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory
simplifyGuardedTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
simplifySystemTheory.Constraint.Solver.Simplify
singleQuotedTheory.Text.Parser.Token
sizeTheory.Model, Theory
SizedTheory.Model, Theory
skeletonLemmaTheory
sLastAtomTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sLemmasTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sLessAtomsTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sMapTheory.Model, Theory
SmartRankingTheory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory
sNextGoalNrTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sNodesTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SolutionExtractorTheory.Proof, Theory
SolvedTheory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory
solveFactEqsTheory.Constraint.Solver.Reduction
SolveGoalTheory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory
solveGoalTheory.Constraint.Solver.Goals
solveMatchLNTermTheory.Model, Theory
solveMatchLTermTheory.Model, Theory
solveNodeIdEqsTheory.Constraint.Solver.Reduction
solveRuleEqsTheory.Constraint.Solver.Reduction
solveSubstEqsTheory.Constraint.Solver.Reduction
solveTermEqsTheory.Constraint.Solver.Reduction
solveWithCaseDistinctionTheory.Constraint.Solver.CaseDistinctions
someInstTheory.Model, Theory
someRuleACInstTheory.Model.Rule, Theory.Model, Theory
SorryTheory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory
sorryTheory.Proof, Theory
sorryProverTheory.Proof, Theory
sortCompareTheory.Model, Theory
sortedLVarTheory.Text.Parser.Token
sortGAtomsTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sortOfLitTheory.Model, Theory
sortOfLNTermTheory.Model, Theory
sortOfLTermTheory.Model, Theory
sortOfNameTheory.Model, Theory
sortPrefixTheory.Model, Theory
sortSuffixTheory.Model, Theory
spaceTheory.Text.Pretty
specialIntruderRulesTheory.Tools.IntruderRules
splitExistsTheory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SplitGTheory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SplitId 
1 (Type/Class)Theory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
2 (Data Constructor)Theory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SplitLaterTheory.Constraint.Solver.Reduction
SplitNowTheory.Constraint.Solver.Reduction
splitsTheory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
splitSizeTheory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SplitStrategyTheory.Constraint.Solver.Reduction
sSolvedFormulasTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
sSubstTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
standardActionAtomsTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
StandRuleTheory.Model.Rule, Theory.Model, Theory
startMaudeTheory.Model, Theory
stFunSymsTheory.Model, Theory
stRulesTheory.Model, Theory
Style 
1 (Data Constructor)Theory.Text.Pretty
2 (Type/Class)Theory.Text.Pretty
Subst 
1 (Data Constructor)Theory.Model, Theory
2 (Type/Class)Theory.Model, Theory
substBoundTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
substBoundAtomTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
substCreatesNonNormalTermsTheory.Constraint.Solver.Contradictions
substEdgesTheory.Constraint.Solver.Reduction
substFormulasTheory.Constraint.Solver.Reduction
substFreeTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
substFreeAtomTheory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
substFromListTheory.Model, Theory
substFromListVFreshTheory.Model, Theory
substFromMapTheory.Model, Theory
substLastAtomTheory.Constraint.Solver.Reduction
substLessAtomsTheory.Constraint.Solver.Reduction
substNodesTheory.Constraint.Solver.Reduction
substSolvedFormulasTheory.Constraint.Solver.Reduction
substSystemTheory.Constraint.Solver.Reduction
substToListTheory.Model, Theory
substToListOnTheory.Model, Theory
substToListVFreshTheory.Model, Theory
SubstVFresh 
1 (Data Constructor)Theory.Model, Theory
2 (Type/Class)Theory.Model, Theory
subtermIntruderRulesTheory.Tools.IntruderRules
SummaryTheory.Tools.AbstractInterpretation
SuperfluousLearnTheory.Constraint.Solver.Contradictions
svMapTheory.Model, Theory
symbol 
1 (Function)Theory.Text.Pretty
2 (Function)Theory.Text.Parser.Token
symbol_Theory.Text.Parser.Token
symEncMaudeSigTheory.Model, Theory
SystemTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory
SystemTraceQuantifierTheory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory