D | DebuggingTMTypes |
Dash | SMType |
dashTag | TM2SMHelpers |
DebuggingMove | DebuggingTMTypes |
DebuggingQuadruples | DebuggingTMTypes |
DebuggingState | DebuggingTMTypes |
DebuggingSymbol | DebuggingTMTypes |
DebuggingTuringMachine | DebuggingTMTypes |
defValue | Helpers |
Deletable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
delete | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
deleteAt | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
deleteFindMax | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
deleteFindMin | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
deleteKey | Containers.PrismMap |
deleteMax | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
deleteMin | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
deleteValue | Containers.PrismMap |
Delta | SMType |
Depth | |
1 (Type/Class) | SemigroupPresentation.Solver |
2 (Type/Class) | TuringMachine.Admiter |
die | TuringMachine.Constructors |
difference | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers.PrismMap |
4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
differenceWith | Containers.Map |
differenceWithKey | Containers.Map |
DiffTM | TuringMachine.Optimization |
diffTM | TuringMachine.Optimization |
disjoinIfTerminal | Helpers |
disjoinQuotes | Helpers |
disjoint | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
disjointUnion | Containers.Set |
doubleCommands | TM2SymTM |
DQuadruples | DebuggingTMTypes |
drop | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
dropC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
dropWhileAntitone | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
DState | DebuggingTMTypes |
DSymbol | DebuggingTMTypes |
DTM | DebuggingTMTypes |