ideal
•
library
•
graphs
• graph
interface
graph
[readonly
data
vertice type
, readonly
data
edge type
]
extends
data
readonly
set
[
vertice type
]
vertices
void
add edge
(
vertice type
from
,
vertice type
to
,
edge type
the source
)
immutable
set
[
vertice type
]
adjacent
(
vertice type
from
) pure
boolean
introduces cycle
(
vertice type
from
,
vertice type
to
) pure
ideal
•
library
•
graphs
• graph