WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc
Who Cites mkgraphrep?
mkgraphrep
Def mkgraphrep(type, graph, obj) == < type,graph,obj >
Thm*
type:Type, graph:(type
Graph), obj:(r:type
GraphObject(graph(r))). mkgraphrep(type, graph, obj)
Graph Representation
Syntax:
mkgraphrep(type, graph, obj)
has structure:
mkgraphrep(type; graph; obj)
About:
WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc