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
use super::*;

fn equals_to_nr_of_edges(desc: GraphDescription<u32,u32>) -> bool {
	GraphMock_init(&desc, |g|{
		g.edge_count() == desc.edges.len()
	})
}


quickcheck!{
	fn PROP_equals_to_nr_of_edges(desc: GraphDescription<u32,u32>) -> bool {
		equals_to_nr_of_edges(desc)
	}
}