Index - D
| defaultAttribs | |
| 1 (Function) | Termlib.Variable |
| 2 (Function) | Termlib.FunctionSymbol |
| defineds | Termlib.Problem, Termlib.Repl |
| definedSymbols | Termlib.Trs, Termlib.Repl |
| definingSymbol | Termlib.Trs |
| depth | Termlib.Term, Termlib.Repl |
| directSubgraphs | Termlib.TermGraph |
| docHeight | Termlib.Utils |
| docLength | Termlib.Utils |
| dpComponents | Termlib.Problem, Termlib.Repl |