WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc
Who Cites mk
adjmatrix?
mk_adjmatrix
Def mk_adjmatrix(size, adj) == < size,adj >
Thm*
size:
, adj:(
size
size
). mk_adjmatrix(size, adj)
AdjMatrix
Syntax:
mk_adjmatrix(size, adj)
has structure:
mk_adjmatrix(size; adj)
About:
WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc