WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc
Who Cites case
mk
adjlist?
case_mk_adjlist
Def Case mk_adjlist(size; out ) = > body(size;out)(x,z) == x/x2,x1. body(x2;x1)
Syntax:
Case mk_adjlist(size; out ) = > body(size;out)
has structure:
case_mk_adjlist(size,out.body(size;out))
About:
WhoCites
Definitions
graph
1
3
Sections
Graphs
Doc