hasLeaf
lA Graph has a leaf
iff isLeaf is true for one of its nodes.
lhasLeaf(Graph) =
some((Node)=>isLeaf(Node, Graph), nodes(Graph));
lhasLeaf(Graph) =
some((Node)=>isLeaf(Node, Graph), nodes(Graph));
true when Node is a leaf of this Graph
test whether
first arg. is true
for some element of second arg.
first arg. is true
for some element of second arg.
list of
nodes of Graph