mapArcInfo | Graphs.PureGraph |
mapGraphConnection | Graphs.GraphConnection |
mapMenuPrim | Graphs.GraphConfigure |
mapMenuPrim' | Graphs.GraphConfigure |
mapMMenuPrim | Graphs.GraphConfigure |
mapMMenuPrim' | Graphs.GraphConfigure |
Menu | Graphs.GraphConfigure |
MenuPrim | Graphs.GraphConfigure |
modify | Graphs.GraphConfigure |
ModifyHasDef | Graphs.GraphConfigure |
MultiUpdate | Graphs.Graph |