1/* Binary relations. 2 3 Copyright (C) 2002, 2004, 2009-2012 Free Software Foundation, Inc. 4 5 This file is part of Bison, the GNU Compiler Compiler. 6 7 This program is free software: you can redistribute it and/or modify 8 it under the terms of the GNU General Public License as published by 9 the Free Software Foundation, either version 3 of the License, or 10 (at your option) any later version. 11 12 This program is distributed in the hope that it will be useful, 13 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 GNU General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 19 20 21#ifndef RELATION_H_ 22# define RELATION_H_ 23 24/* Performing operations on graphs coded as list of adjacency. 25 26 If GRAPH is a relation, then GRAPH[Node] is a list of adjacent 27 nodes, ended with END_NODE. */ 28 29#define END_NODE ((relation_node) -1) 30 31typedef size_t relation_node; 32typedef relation_node *relation_nodes; 33typedef relation_nodes *relation; 34 35 36/* Report a relation R that has SIZE vertices. */ 37void relation_print (relation r, relation_node size, FILE *out); 38 39/* Compute the transitive closure of the FUNCTION on the relation R 40 with SIZE vertices. 41 42 If R (NODE-1, NODE-2) then on exit FUNCTION[NODE - 1] was extended 43 (unioned) with FUNCTION[NODE - 2]. */ 44void relation_digraph (relation r, relation_node size, bitsetv *function); 45 46/* Destructively transpose *R_ARG, of size N. */ 47void relation_transpose (relation *R_arg, relation_node n); 48 49#endif /* ! RELATION_H_ */ 50