| sanitise | Termlib.Problem |
| sautomat | Termlib.Problem.TpdbParser |
| scb | Termlib.Problem.TpdbParser |
| scons | Termlib.Problem.TpdbParser |
| sdp | Termlib.Problem, Termlib.Repl |
| setReplacing | Termlib.ContextSensitive |
| sexpr | Termlib.Problem.TpdbParser |
| sfull | Termlib.Problem.TpdbParser |
| Signature | |
| 1 (Type/Class) | Termlib.Signature |
| 2 (Type/Class) | Termlib.FunctionSymbol |
| signature | Termlib.Problem, Termlib.Repl |
| SignatureMonad | |
| 1 (Type/Class) | Termlib.Signature |
| 2 (Type/Class) | Termlib.FunctionSymbol |
| simpleterm | Termlib.Problem.TpdbParser |
| singleton | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.Trs |
| sinner | Termlib.Problem.TpdbParser |
| size | Termlib.Term, Termlib.Repl |
| snub | Termlib.Utils |
| sources | Termlib.TermGraph |
| souter | Termlib.Problem.TpdbParser |
| spec | Termlib.Problem.TpdbParser |
| speclist | Termlib.Problem.TpdbParser |
| St | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| sta | Termlib.Problem.TpdbParser |
| starttermdecl | Termlib.Problem.TpdbParser |
| StartTerms | Termlib.Problem, Termlib.Repl |
| startTerms | Termlib.Problem, Termlib.Repl |
| step | Termlib.TermGraph |
| Strategy | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Type/Class) | Termlib.Problem, Termlib.Repl |
| strategy | Termlib.Problem, Termlib.Repl |
| strategydecl | Termlib.Problem.TpdbParser |
| strictComponents | Termlib.Problem, Termlib.Repl |
| strictDPs | Termlib.Problem, Termlib.Repl |
| Strictness | Termlib.Rule |
| StrictRule | Termlib.Rule |
| strictTrs | Termlib.Problem, Termlib.Repl |
| strs | Termlib.Problem, Termlib.Repl |
| subgraphAt | Termlib.TermGraph |
| subsumes | Termlib.Substitution, Termlib.Repl |
| subterms | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Repl |
| sym | Termlib.Problem.XmlParser |
| symArity | Termlib.FunctionSymbol |
| Symbol | |
| 1 (Type/Class) | Termlib.FunctionSymbol |
| 2 (Data Constructor) | Termlib.FunctionSymbol |
| symbol | Termlib.FunctionSymbol |
| symbolLabel | Termlib.FunctionSymbol |
| symbolName | Termlib.FunctionSymbol |
| SymbolNotInSignature | Termlib.Problem.ParseErrors |
| symbols | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.FunctionSymbol |
| 3 (Function) | Termlib.Repl |
| symIdent | Termlib.FunctionSymbol |
| symIsCompound | Termlib.FunctionSymbol |
| symIsMarked | Termlib.FunctionSymbol |
| symLabel | Termlib.FunctionSymbol |
| SymMap | Termlib.Problem.XmlParser |