remove-vertex ( vertex edges graph -- )

Factor handbook » The language » Collections » Directed graph utilities

Factor handbook » The language » Collections » Directed graph utilities

Prev: | add-vertex ( vertex edges graph -- ) |

Next: | closure ( vertex quot: ( vertex -- edges ) -- set ) |

Vocabulary

graphs

Inputs

Outputs

None

Word description

Removes a vertex from a graph, using the given edges sequence.

Notes

The edges sequence must have all the values passed to add-vertex, otherwise some vertices of the graph may continue to refer to the removed vertex.

Side effects

Modifies graph

Definition

graphs

Inputs

vertex | an object |

edges | a sequence |

graph | an assoc mapping vertices to sets of edges |

Outputs

None

Word description

Removes a vertex from a graph, using the given edges sequence.

Notes

The edges sequence must have all the values passed to add-vertex, otherwise some vertices of the graph may continue to refer to the removed vertex.

Side effects

Modifies graph

Definition

This documentation was generated offline from a
`load-all`

image. If you want, you can also
browse the documentation from within the UI developer tools. See
the Factor website
for more information.

Factor 0.99 x86.64 (2203, heads/master-424edf64aa, Mar 8 2023 13:48:50)