Compare commits
4 Commits
fixes-major
...
0.2.2
| Author | SHA1 | Date | |
|---|---|---|---|
| 5b30151010 | |||
| 2f549cc506 | |||
| cf31ee2f01 | |||
| e58261ba47 |
+1
-1
@@ -1,6 +1,6 @@
|
|||||||
[package]
|
[package]
|
||||||
name = "grapherity"
|
name = "grapherity"
|
||||||
version = "0.2.1"
|
version = "0.2.2"
|
||||||
authors = ["Stefan Müller"]
|
authors = ["Stefan Müller"]
|
||||||
edition = "2024"
|
edition = "2024"
|
||||||
rust-version = "1.85.0"
|
rust-version = "1.85.0"
|
||||||
|
|||||||
+36
-22
@@ -122,12 +122,12 @@ where
|
|||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
{
|
{
|
||||||
let mut predecessors = graph.vertex_map(None);
|
let mut predecessors = graph.vertex_map(None);
|
||||||
let (distances, _) = bfs_impl(graph, source, |neighbor, predecessor| {
|
let result = bfs_impl(graph, source, |neighbor, predecessor| {
|
||||||
predecessors[neighbor] = Some(predecessor);
|
predecessors[neighbor] = Some(predecessor);
|
||||||
true
|
true
|
||||||
});
|
});
|
||||||
BfsResult {
|
BfsResult {
|
||||||
distances,
|
distances: result.distances,
|
||||||
predecessors,
|
predecessors,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -136,7 +136,7 @@ pub fn bfs_distances<G>(graph: &G, source: G::Vertex) -> VertexMap<G::Vertex, Op
|
|||||||
where
|
where
|
||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
{
|
{
|
||||||
bfs_impl(graph, source, |_, _| true).0
|
bfs_impl(graph, source, |_, _| true).distances
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn bfs_find<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> Option<u32>
|
pub fn bfs_find<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> Option<u32>
|
||||||
@@ -154,14 +154,15 @@ where
|
|||||||
if predicate(source) {
|
if predicate(source) {
|
||||||
return Some((source, 0));
|
return Some((source, 0));
|
||||||
}
|
}
|
||||||
bfs_impl(graph, source, |neighbor, _| !predicate(neighbor)).1
|
bfs_impl(graph, source, |neighbor, _| !predicate(neighbor)).found
|
||||||
}
|
}
|
||||||
|
|
||||||
fn bfs_impl<G, F>(
|
struct BfsImplResult<V: Copy> {
|
||||||
graph: &G,
|
distances: VertexMap<V, Option<u32>>,
|
||||||
source: G::Vertex,
|
found: Option<(V, u32)>,
|
||||||
mut on_discover: F,
|
}
|
||||||
) -> (VertexMap<G::Vertex, Option<u32>>, Option<(G::Vertex, u32)>)
|
|
||||||
|
fn bfs_impl<G, F>(graph: &G, source: G::Vertex, mut on_discover: F) -> BfsImplResult<G::Vertex>
|
||||||
where
|
where
|
||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
F: FnMut(G::Vertex, G::Vertex) -> bool,
|
F: FnMut(G::Vertex, G::Vertex) -> bool,
|
||||||
@@ -178,13 +179,19 @@ where
|
|||||||
let distance = distances[v].unwrap() + 1;
|
let distance = distances[v].unwrap() + 1;
|
||||||
distances[neighbor] = Some(distance);
|
distances[neighbor] = Some(distance);
|
||||||
if !on_discover(neighbor, v) {
|
if !on_discover(neighbor, v) {
|
||||||
return (distances, Some((neighbor, distance)));
|
return BfsImplResult {
|
||||||
|
distances,
|
||||||
|
found: Some((neighbor, distance)),
|
||||||
|
};
|
||||||
}
|
}
|
||||||
queue.push_back(neighbor);
|
queue.push_back(neighbor);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
(distances, None)
|
BfsImplResult {
|
||||||
|
distances,
|
||||||
|
found: None,
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub struct DfsResult<V: Copy> {
|
pub struct DfsResult<V: Copy> {
|
||||||
@@ -197,12 +204,12 @@ where
|
|||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
{
|
{
|
||||||
let mut predecessors = graph.vertex_map(None);
|
let mut predecessors = graph.vertex_map(None);
|
||||||
let (visited, _) = dfs_impl(graph, source, |neighbor, predecessor| {
|
let result = dfs_impl(graph, source, |neighbor, predecessor| {
|
||||||
predecessors[neighbor] = Some(predecessor);
|
predecessors[neighbor] = Some(predecessor);
|
||||||
true
|
true
|
||||||
});
|
});
|
||||||
DfsResult {
|
DfsResult {
|
||||||
visited,
|
visited: result.visited,
|
||||||
predecessors,
|
predecessors,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -211,7 +218,7 @@ pub fn dfs_visited<G>(graph: &G, source: G::Vertex) -> VertexMap<G::Vertex, bool
|
|||||||
where
|
where
|
||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
{
|
{
|
||||||
dfs_impl(graph, source, |_, _| true).0
|
dfs_impl(graph, source, |_, _| true).visited
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn dfs_find<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> bool
|
pub fn dfs_find<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> bool
|
||||||
@@ -229,14 +236,15 @@ where
|
|||||||
if predicate(source) {
|
if predicate(source) {
|
||||||
return Some(source);
|
return Some(source);
|
||||||
}
|
}
|
||||||
dfs_impl(graph, source, |neighbor, _| !predicate(neighbor)).1
|
dfs_impl(graph, source, |neighbor, _| !predicate(neighbor)).found
|
||||||
}
|
}
|
||||||
|
|
||||||
fn dfs_impl<G, F>(
|
struct DfsImplResult<V: Copy> {
|
||||||
graph: &G,
|
visited: VertexMap<V, bool>,
|
||||||
source: G::Vertex,
|
found: Option<V>,
|
||||||
mut on_discover: F,
|
}
|
||||||
) -> (VertexMap<G::Vertex, bool>, Option<G::Vertex>)
|
|
||||||
|
fn dfs_impl<G, F>(graph: &G, source: G::Vertex, mut on_discover: F) -> DfsImplResult<G::Vertex>
|
||||||
where
|
where
|
||||||
G: GraphTopology,
|
G: GraphTopology,
|
||||||
F: FnMut(G::Vertex, G::Vertex) -> bool,
|
F: FnMut(G::Vertex, G::Vertex) -> bool,
|
||||||
@@ -248,7 +256,10 @@ where
|
|||||||
while let Some((v, predecessor)) = stack.pop() {
|
while let Some((v, predecessor)) = stack.pop() {
|
||||||
if let Some(p) = predecessor {
|
if let Some(p) = predecessor {
|
||||||
if !on_discover(v, p) {
|
if !on_discover(v, p) {
|
||||||
return (visited, Some(v));
|
return DfsImplResult {
|
||||||
|
visited,
|
||||||
|
found: Some(v),
|
||||||
|
};
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
for neighbor in graph.adjacent_vertices(v) {
|
for neighbor in graph.adjacent_vertices(v) {
|
||||||
@@ -258,7 +269,10 @@ where
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
(visited, None)
|
DfsImplResult {
|
||||||
|
visited,
|
||||||
|
found: None,
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn dfs_find_path<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> Option<Vec<G::Edge>>
|
pub fn dfs_find_path<G>(graph: &G, source: G::Vertex, target: G::Vertex) -> Option<Vec<G::Edge>>
|
||||||
|
|||||||
+17
-6
@@ -13,11 +13,17 @@ impl<V: Copy, T: Clone> VertexMap<V, T> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Reads beyond len() are valid and return the default value.
|
// Reads beyond 'capacity' are valid and return the default value.
|
||||||
pub fn len(&self) -> usize {
|
pub fn capacity(&self) -> usize {
|
||||||
self.inner.len()
|
self.inner.capacity()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[deprecated(since = "0.2.2", note = "use 'capacity' instead")]
|
||||||
|
pub fn len(&self) -> usize {
|
||||||
|
self.capacity()
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
pub fn sync<G: GraphTopology<Vertex = V>>(&mut self, graph: &G) {
|
pub fn sync<G: GraphTopology<Vertex = V>>(&mut self, graph: &G) {
|
||||||
self.inner.resize(graph.vertex_capacity());
|
self.inner.resize(graph.vertex_capacity());
|
||||||
}
|
}
|
||||||
@@ -48,9 +54,14 @@ impl<E: Copy, T: Clone> EdgeMap<E, T> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Reads beyond len() are valid and return the default value.
|
// Reads beyond 'capacity' are valid and return the default value.
|
||||||
|
pub fn capacity(&self) -> usize {
|
||||||
|
self.inner.capacity()
|
||||||
|
}
|
||||||
|
|
||||||
|
#[deprecated(since = "0.2.2", note = "use 'capacity' instead")]
|
||||||
pub fn len(&self) -> usize {
|
pub fn len(&self) -> usize {
|
||||||
self.inner.len()
|
self.capacity()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn sync<G: GraphTopology<Edge = E>>(&mut self, graph: &G) {
|
pub fn sync<G: GraphTopology<Edge = E>>(&mut self, graph: &G) {
|
||||||
@@ -87,7 +98,7 @@ impl<E: Copy, T: Clone> EntityMap<E, T> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn len(&self) -> usize {
|
pub fn capacity(&self) -> usize {
|
||||||
self.data.len()
|
self.data.len()
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
+10
-10
@@ -53,16 +53,16 @@ macro_rules! vertex_map_tests {
|
|||||||
let mut graph = <$T>::new();
|
let mut graph = <$T>::new();
|
||||||
graph.add_vertex();
|
graph.add_vertex();
|
||||||
let mut map = graph.vertex_map(42);
|
let mut map = graph.vertex_map(42);
|
||||||
let initial_len = map.len();
|
let capacity_before = map.capacity();
|
||||||
while graph.vertex_capacity() <= initial_len {
|
while graph.vertex_capacity() <= capacity_before {
|
||||||
graph.add_vertex();
|
graph.add_vertex();
|
||||||
}
|
}
|
||||||
assert!(
|
assert!(
|
||||||
map.len() < graph.vertex_capacity(),
|
map.capacity() < graph.vertex_capacity(),
|
||||||
"precondition: map is stale before sync"
|
"precondition: map is stale before sync"
|
||||||
);
|
);
|
||||||
map.sync(&graph);
|
map.sync(&graph);
|
||||||
assert_eq!(map.len(), graph.vertex_capacity());
|
assert_eq!(map.capacity(), graph.vertex_capacity());
|
||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
@@ -109,7 +109,7 @@ macro_rules! vertex_map_deletion_tests {
|
|||||||
let capacity_before = graph.vertex_capacity();
|
let capacity_before = graph.vertex_capacity();
|
||||||
graph.delete_vertex(v2);
|
graph.delete_vertex(v2);
|
||||||
map.sync(&graph);
|
map.sync(&graph);
|
||||||
assert_eq!(map.len(), capacity_before);
|
assert_eq!(map.capacity(), capacity_before);
|
||||||
assert_eq!(map[v1], 5);
|
assert_eq!(map[v1], 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -197,16 +197,16 @@ macro_rules! edge_map_tests {
|
|||||||
let v2 = graph.add_vertex();
|
let v2 = graph.add_vertex();
|
||||||
graph.add_edge(v1, v2);
|
graph.add_edge(v1, v2);
|
||||||
let mut map = graph.edge_map(42);
|
let mut map = graph.edge_map(42);
|
||||||
let initial_len = map.len();
|
let capacity_before = map.capacity();
|
||||||
while graph.edge_capacity() <= initial_len {
|
while graph.edge_capacity() <= capacity_before {
|
||||||
graph.add_edge(v1, v2);
|
graph.add_edge(v1, v2);
|
||||||
}
|
}
|
||||||
assert!(
|
assert!(
|
||||||
map.len() < graph.edge_capacity(),
|
map.capacity() < graph.edge_capacity(),
|
||||||
"precondition: map is stale before sync"
|
"precondition: map is stale before sync"
|
||||||
);
|
);
|
||||||
map.sync(&graph);
|
map.sync(&graph);
|
||||||
assert_eq!(map.len(), graph.edge_capacity());
|
assert_eq!(map.capacity(), graph.edge_capacity());
|
||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
@@ -259,7 +259,7 @@ macro_rules! edge_map_deletion_tests {
|
|||||||
let capacity_before = graph.edge_capacity();
|
let capacity_before = graph.edge_capacity();
|
||||||
graph.delete_edge(e2);
|
graph.delete_edge(e2);
|
||||||
map.sync(&graph);
|
map.sync(&graph);
|
||||||
assert_eq!(map.len(), capacity_before);
|
assert_eq!(map.capacity(), capacity_before);
|
||||||
assert_eq!(map[e1], 5);
|
assert_eq!(map[e1], 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user