graphene 0.1.5

A general purpose, extensible Graph Theory data type and algorithm library for Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use super::*;

fn edges_equal_to_description(desc: GraphDescription<u32,u32>) -> bool {
	GraphMock_init(&desc, |g|{
		equal_description_and_graph_edges(&desc, &g)
	})
}

fn vertices_equal_to_description(desc: GraphDescription<u32,u32>) -> bool {
	GraphMock_init(&desc, |g|{
		equal_description_and_graph_vertices(&desc, &g)
	})
}

quickcheck!{
	fn PROP_edges_equal_to_description(desc: GraphDescription<u32,u32>) -> bool {
		edges_equal_to_description(desc)
	}
	
	fn PROP_vertices_equal_to_description(desc: GraphDescription<u32,u32>) -> bool {
		vertices_equal_to_description(desc)
	}
}