From 53ee51dbaca7ddf548b970cb03b48960d8e5f965 Mon Sep 17 00:00:00 2001 From: Joey Date: Mon, 8 Jan 2024 09:59:58 -0500 Subject: [PATCH] Formatting --- src/Graphs/partitionedgraphs/abstractpartitionedgraph.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Graphs/partitionedgraphs/abstractpartitionedgraph.jl b/src/Graphs/partitionedgraphs/abstractpartitionedgraph.jl index 16fcdcc..ce74293 100644 --- a/src/Graphs/partitionedgraphs/abstractpartitionedgraph.jl +++ b/src/Graphs/partitionedgraphs/abstractpartitionedgraph.jl @@ -31,7 +31,9 @@ end edgetype(pg::AbstractPartitionedGraph) = edgetype(unpartitioned_graph(pg)) parent_graph_type(pg::AbstractPartitionedGraph) = parent_graph_type(unpartitioned_graph(pg)) nv(pg::AbstractPartitionedGraph, pv::AbstractPartitionVertex) = length(vertices(pg, pv)) -has_vertex(pg::AbstractPartitionedGraph, partition_vertex::AbstractPartitionVertex) = has_vertex(partitioned_graph(pg), parent(partition_vertex)) +function has_vertex(pg::AbstractPartitionedGraph, partition_vertex::AbstractPartitionVertex) + return has_vertex(partitioned_graph(pg), parent(partition_vertex)) +end function has_edge(pg::AbstractPartitionedGraph, edge::AbstractPartitionEdge) return has_edge(partitioned_graph(pg), parent(partition_edge))