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

Index - S

SatLanguage.REST.WQOConstraints.ADT
shouldExploreLanguage.REST.ExploredTerms
showHashLanguage.REST.OCToAbstract
showRejectsLanguage.REST.RESTDot
ShowRejectsOptLanguage.REST.RESTDot
ShowRejectsWithoutRuleLanguage.REST.RESTDot
ShowRejectsWithRuleLanguage.REST.RESTDot
simplify 
1 (Function)Language.REST.WQOConstraints
2 (Function)Language.REST.WQOConstraints.ADT
singleton 
1 (Function)Language.REST.Internal.MultiSet
2 (Function)Language.REST.Internal.EquivalenceClass
3 (Function)Language.REST.Internal.WQO
4 (Function)Language.REST.WQOConstraints
5 (Function)Language.REST.WQOConstraints.Lazy
6 (Function)Language.REST.WQOConstraints.Strict
sizeLanguage.REST.ExploredTerms
smtAddLanguage.REST.SMT
smtAndLanguage.REST.SMT
SMTAssertLanguage.REST.SMT
SMTCommandLanguage.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
subPathsLanguage.REST.RESTDot
SubstLanguage.REST.Internal.Rewrite
substLanguage.REST.Internal.Rewrite
subsumesLanguage.REST.ExploredTerms
subTermsLanguage.REST.RuntimeTerm
symsLanguage.REST.Core
synGTELanguage.REST.RPO