1 //=======================================================================
2 // Copyright 1997, 1998, 1999, 2000 University of Notre Dame.
3 // Authors: Andrew Lumsdaine, Lie-Quan Lee, Jeremy G. Siek
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>
16 using namespace boost
;
18 typedef leda::GRAPH
<int,int> Graph
;
19 typedef graph_traits
<Graph
>::vertex_descriptor Vertex
;
20 typedef graph_traits
<Graph
>::edge_descriptor Edge
;
21 BOOST_CONCEPT_ASSERT(( VertexListGraphConcept
<Graph
> ));
22 BOOST_CONCEPT_ASSERT(( BidirectionalGraphConcept
<Graph
> ));
23 BOOST_CONCEPT_ASSERT(( AdjacencyGraphConcept
<Graph
> ));
24 BOOST_CONCEPT_ASSERT(( VertexMutableGraphConcept
<Graph
> ));
25 BOOST_CONCEPT_ASSERT(( EdgeMutableGraphConcept
<Graph
> ));
26 BOOST_CONCEPT_ASSERT(( VertexMutablePropertyGraphConcept
<Graph
> ));
27 BOOST_CONCEPT_ASSERT(( EdgeMutablePropertyGraphConcept
<Graph
> ));
28 BOOST_CONCEPT_ASSERT((
29 ReadablePropertyGraphConcept
<Graph
, Vertex
, vertex_index_t
> ));
30 BOOST_CONCEPT_ASSERT((
31 ReadablePropertyGraphConcept
<Graph
, Edge
, edge_index_t
> ));
32 BOOST_CONCEPT_ASSERT((
33 LvaluePropertyGraphConcept
<Graph
, Vertex
, vertex_all_t
> ));
34 BOOST_CONCEPT_ASSERT((
35 LvaluePropertyGraphConcept
<Graph
, Vertex
, edge_all_t
> ));