Module graaf::prop

Cross-module properties and strategies.

Functions

• add_edge_is_edge
  Returns whether adding an edge with AddEdge is reflected by IsEdge.
• add_edge_remove_edge
  Returns whether adding an edge with AddEdge and then removing it with RemoveEdge keeps the graph unchanged.
• add_weighted_edge_is_edge
  Returns whether adding a weighted edge with AddWeightedEdge is reflected by IsEdge.
• add_weighted_edge_remove_edge
  Returns where adding a weighted edge with AddWeightedEdge and then removing it with RemoveEdge keeps the graph unchanged.