rest-rewrite-0.4.0: Rewriting library with online termination checking

Index - S

SatLanguage.REST.WQOConstraints.ADT
shouldExploreLanguage.REST.ExploredTerms
showRejectsLanguage.REST.RESTDot
ShowRejectsOptLanguage.REST.RESTDot
ShowRejectsWithoutRuleLanguage.REST.RESTDot
ShowRejectsWithRuleLanguage.REST.RESTDot
singleton 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.EquivalenceClass
3 (Function)Language.REST.Internal.WQO
4 (Function)Language.REST.WQOConstraints
sizeLanguage.REST.ExploredTerms
smtAddLanguage.REST.SMT
smtAndLanguage.REST.SMT
SMTExprLanguage.REST.SMT
smtFalseLanguage.REST.SMT
smtGTELanguage.REST.SMT
smtTrueLanguage.REST.SMT
SMTVar 
1 (Type/Class)Language.REST.SMT
2 (Data Constructor)Language.REST.SMT
SolverHandleLanguage.REST.SMT
spawnZ3Language.REST.SMT
Step 
1 (Type/Class)Language.REST.Path
2 (Data Constructor)Language.REST.Path
StrictOCLanguage.REST.WQOConstraints.Strict
strictOCLanguage.REST.WQOConstraints.Strict
strictOC'Language.REST.WQOConstraints.Strict
subLabelLanguage.REST.Dot
SubstLanguage.REST.Internal.Rewrite
substLanguage.REST.Internal.Rewrite
subsumesLanguage.REST.ExploredTerms
subTermsLanguage.REST.RuntimeTerm
synGTELanguage.REST.RPO