2
0
mirror of https://github.com/boostorg/graph.git synced 2026-01-19 04:12:11 +00:00

added property map checks for vertex_index and edge_index

into concept_checks.cpp


[SVN r8647]
This commit is contained in:
Jeremy Siek
2001-01-19 18:20:10 +00:00
parent d7bf176f41
commit d5530745fa
2 changed files with 12 additions and 0 deletions

View File

@@ -24,6 +24,7 @@ Boost People|More|More Information
Boost People|Home|www.boost.org
Boost People|FAQ|Frequently Asked Questions
Boost People|Libraries|Boost Libraries
Boost People|People|Boost People
Boost Libraries|call_traits|Call Traits
Boost Libraries|compose|Compose Library
Boost Libraries|graph|Boost Graph Library

View File

@@ -57,6 +57,8 @@ main(int,char*[])
function_requires< MutableIncidenceGraphConcept<Graph> >();
function_requires< MutableEdgeListGraphConcept<Graph> >();
function_requires< MutablePropertyGraphConcept<Graph> >();
function_requires< ReadablePropertyGraphConcept<Graph,
Vertex, vertex_index_t> >();
function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
// the builtin id property is readable but not writable
@@ -76,6 +78,8 @@ main(int,char*[])
function_requires< MutableBidirectionalGraphConcept<Graph> >();
function_requires< MutableEdgeListGraphConcept<Graph> >();
function_requires< MutablePropertyGraphConcept<Graph> >();
function_requires< ReadablePropertyGraphConcept<Graph,
Vertex, vertex_index_t> >();
function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
// the builtin id property is readable but not writable
@@ -93,6 +97,8 @@ main(int,char*[])
function_requires< MutableIncidenceGraphConcept<Graph> >();
function_requires< MutableEdgeListGraphConcept<Graph> >();
function_requires< MutablePropertyGraphConcept<Graph> >();
function_requires< ReadablePropertyGraphConcept<Graph,
Vertex, vertex_index_t> >();
function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
}
@@ -107,13 +113,18 @@ main(int,char*[])
function_requires< MutableBidirectionalGraphConcept<Graph> >();
function_requires< MutableEdgeListGraphConcept<Graph> >();
function_requires< MutablePropertyGraphConcept<Graph> >();
function_requires< ReadablePropertyGraphConcept<Graph,
Vertex, vertex_index_t> >();
function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
}
{
typedef std::pair<int,int> E;
typedef edge_list<E*,E,ptrdiff_t> EdgeList;
typedef graph_traits<EdgeList>::edge_descriptor Edge;
function_requires< EdgeListGraphConcept<EdgeList> >();
function_requires< ReadablePropertyGraphConcept<EdgeList, Edge,
edge_index_t> >();
}
#ifdef BOOST_USE_STANFORD_GRAPH_BASE
{ // Stanford GraphBase Graph