mirror of
https://github.com/boostorg/graph.git
synced 2026-01-25 06:12:23 +00:00
231 lines
10 KiB
C++
231 lines
10 KiB
C++
//=======================================================================
|
|
// Copyright 1997, 1998, 1999, 2000 University of Notre Dame.
|
|
// Authors: Andrew Lumsdaine, Lie-Quan Lee, Jeremy G. Siek
|
|
//
|
|
// This file is part of the Boost Graph Library
|
|
//
|
|
// You should have received a copy of the License Agreement for the
|
|
// Boost Graph Library along with the software; see the file LICENSE.
|
|
// If not, contact Office of Research, University of Notre Dame, Notre
|
|
// Dame, IN 46556.
|
|
//
|
|
// Permission to modify the code and to distribute modified code is
|
|
// granted, provided the text of this NOTICE is retained, a notice that
|
|
// the code was modified is included with the above COPYRIGHT NOTICE and
|
|
// with the COPYRIGHT NOTICE in the LICENSE file, and that the LICENSE
|
|
// file is distributed with the modified code.
|
|
//
|
|
// LICENSOR MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED.
|
|
// By way of example, but not limitation, Licensor MAKES NO
|
|
// REPRESENTATIONS OR WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY
|
|
// PARTICULAR PURPOSE OR THAT THE USE OF THE LICENSED SOFTWARE COMPONENTS
|
|
// OR DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS, TRADEMARKS
|
|
// OR OTHER RIGHTS.
|
|
//=======================================================================
|
|
#include <boost/graph/graph_concepts.hpp>
|
|
#include <boost/graph/graph_archetypes.hpp>
|
|
#include <boost/graph/adjacency_list.hpp>
|
|
|
|
int main(int,char*[])
|
|
{
|
|
using namespace boost;
|
|
// Check adjacency_list with properties
|
|
{
|
|
typedef adjacency_list<vecS, vecS, directedS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list<vecS, vecS, bidirectionalS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< BidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< listS, listS, directedS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< listS, listS, undirectedS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
// Checking adjacency_list with EdgeList=setS
|
|
{
|
|
typedef adjacency_list<setS, vecS, bidirectionalS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< BidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< setS, listS, directedS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< setS, listS, undirectedS,
|
|
property<vertex_color_t, int>,
|
|
property<edge_weight_t, int>
|
|
> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
|
|
function_requires<
|
|
LvaluePropertyGraphConcept<Graph, Edge, edge_weight_t> >();
|
|
}
|
|
// Check adjacency_list without any properties
|
|
{
|
|
typedef adjacency_list<vecS, vecS, directedS > Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutablePropertyGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list<vecS, vecS, bidirectionalS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< BidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires<
|
|
ReadablePropertyGraphConcept<Graph, Vertex, vertex_index_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< listS, listS, directedS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< listS, listS, undirectedS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
}
|
|
// Checking EdgeList=setS with no properties
|
|
{
|
|
typedef adjacency_list<setS, vecS, bidirectionalS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< BidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
function_requires< ReadablePropertyGraphConcept<Graph,
|
|
Vertex, vertex_index_t> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< setS, listS, directedS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableIncidenceGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
}
|
|
{
|
|
typedef adjacency_list< setS, listS, undirectedS> Graph;
|
|
typedef graph_traits<Graph>::vertex_descriptor Vertex;
|
|
typedef graph_traits<Graph>::edge_descriptor Edge;
|
|
function_requires< VertexAndEdgeListGraphConcept<Graph> >();
|
|
function_requires< MutableBidirectionalGraphConcept<Graph> >();
|
|
function_requires< MutableEdgeListGraphConcept<Graph> >();
|
|
}
|
|
return 0;
|
|
}
|