Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
:
B
C
D
E
G
I
L
M
N
O
P
S
U
:
:&
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
B
buildGr
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
C
context
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
D
deg
(
GraphInductive
)
deg'
(
GraphInductive
)
delEdge
(
GraphInductive
)
delEdges
(
GraphInductive
)
delNode
(
GraphInductive
)
delNodes
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
E
edges
(
GraphInductive
)
emap
(
GraphInductive
)
empty
(
GraphInductive
)
equal
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
G
gelem
(
GraphInductive
)
gmap
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
I
indeg
(
GraphInductive
)
indeg'
(
GraphInductive
)
inn
(
GraphInductive
)
inn'
(
GraphInductive
)
insEdge
(
GraphInductive
)
insEdges
(
GraphInductive
)
insNode
(
GraphInductive
)
insNodes
(
GraphInductive
)
isEmpty
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
L
lab
(
GraphInductive
)
lab'
(
GraphInductive
)
labEdges
(
GraphInductive
)
labNode'
(
GraphInductive
)
labNodes
(
GraphInductive
)
labUEdges
(
GraphInductive
)
labUNodes
(
GraphInductive
)
lpre
(
GraphInductive
)
lpre'
(
GraphInductive
)
lsuc
(
GraphInductive
)
lsuc'
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
M
match
(
GraphInductive
)
matchAny
(
GraphInductive
)
mkGraph
(
GraphInductive
)
mkUGraph
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
N
neighbors
(
GraphInductive
)
neighbors'
(
GraphInductive
)
newNodes
(
GraphInductive
)
nmap
(
GraphInductive
)
node'
(
GraphInductive
)
nodeRange
(
GraphInductive
)
nodes
(
GraphInductive
)
noNodes
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
O
out
(
GraphInductive
)
out'
(
GraphInductive
)
outdeg
(
GraphInductive
)
outdeg'
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
P
pre
(
GraphInductive
)
pre'
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
S
showGraph
(
GraphInductive
)
suc
(
GraphInductive
)
suc'
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U
U
ufold
(
GraphInductive
)
:
B
C
D
E
G
I
L
M
N
O
P
S
U