URI Parameters

TGView can be given various URL parameters:

• type: the graph type. This is used to determine the respective Graph Source There are currently the following types:
  • archivegraph: Shows all modules in given archive
  • thgraph: Shows the immediate periphery (direct dependencies) of selected theory
  • pgraph: Shows all modules residing in a given path
  • docgraph: Shows all theories declared in given document
  • mpd: Shows special graphs with respect to models (e.g. MathML, ...)
• graphdata: the graph data, i.e. the respective theory graph to be focused on.
• highlight: Allows to highlight nodes by name, example usage:
  • http://neuralocean.de/graph/theorygraph.php?uri=http://neuralocean.de/graph/test/pvs.json&highlight=identity*,extend
  • "*" can be used anywhere as wildcard
  • "," separates different node names to highlight
• viewOnlyMode: If this parameter is set to true (on default false), the side-menus are not collapse-/showable, but are hidden. Also the buttons to show/hide side menus are hidden and the graph can only be edited by drag and drop and contextmenu-actions. Example usage:
  • https://mmt.mathhub.info/graphs/tgview.html?type=archivegraph&graphdata=Teaching/KRMT&viewOnlyMode=true
• source: This parameter defines the source to load graph from (no need to set it manually, only used when working with embedded graphs)