Index - C
| Canon | Termlib.Variable |
| canonical | Termlib.Variable |
| canonise | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule, Termlib.Repl |
| canonVarName | Termlib.Variable |
| cardinality | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Term, Termlib.Repl |
| cElems | Termlib.Problem.XmlParser |
| children | Termlib.TermGraph |
| colon | Termlib.Term.Parser |
| columns | Termlib.Utils |
| columns' | Termlib.Utils |
| complexterm | Termlib.Problem.TpdbParser |
| compose | Termlib.Substitution |
| conc | Termlib.TermGraph |
| cond | Termlib.Problem.TpdbParser |
| condlist | Termlib.Problem.TpdbParser |
| constrs | Termlib.Problem, Termlib.Repl |
| constructors | Termlib.Trs, Termlib.Repl |
| content | Termlib.TermGraph |
| ContextSensitive | Termlib.Problem, Termlib.Repl |
| csstrat | Termlib.Problem.TpdbParser |
| csstratlist | Termlib.Problem.TpdbParser |