1 //=======================================================================
2 // Copyright 1997, 1998, 1999, 2000 University of Notre Dame.
3 // Authors: Andrew Lumsdaine, Lie-Quan Lee, Jeremy G. Siek
4 //
5 // Distributed under the Boost Software License, Version 1.0. (See
6 // accompanying file LICENSE_1_0.txt or copy at
7 // http://www.boost.org/LICENSE_1_0.txt)
8 //=======================================================================
9 #include <boost/graph/graph_concepts.hpp>
10 #include <boost/graph/leda_graph.hpp>
11 #include <boost/concept/assert.hpp>
12
main(int,char * [])13 int main(int, char*[])
14 {
15 using namespace boost;
16 {
17 typedef leda::GRAPH< int, int > Graph;
18 typedef graph_traits< Graph >::vertex_descriptor Vertex;
19 typedef graph_traits< Graph >::edge_descriptor Edge;
20 BOOST_CONCEPT_ASSERT((VertexListGraphConcept< Graph >));
21 BOOST_CONCEPT_ASSERT((BidirectionalGraphConcept< Graph >));
22 BOOST_CONCEPT_ASSERT((AdjacencyGraphConcept< Graph >));
23 BOOST_CONCEPT_ASSERT((VertexMutableGraphConcept< Graph >));
24 BOOST_CONCEPT_ASSERT((EdgeMutableGraphConcept< Graph >));
25 BOOST_CONCEPT_ASSERT((VertexMutablePropertyGraphConcept< Graph >));
26 BOOST_CONCEPT_ASSERT((EdgeMutablePropertyGraphConcept< Graph >));
27 BOOST_CONCEPT_ASSERT(
28 (ReadablePropertyGraphConcept< Graph, Vertex, vertex_index_t >));
29 BOOST_CONCEPT_ASSERT(
30 (ReadablePropertyGraphConcept< Graph, Edge, edge_index_t >));
31 BOOST_CONCEPT_ASSERT(
32 (LvaluePropertyGraphConcept< Graph, Vertex, vertex_all_t >));
33 BOOST_CONCEPT_ASSERT(
34 (LvaluePropertyGraphConcept< Graph, Vertex, edge_all_t >));
35 }
36 return 0;
37 }
38