__init__.py 128 KB
Newer Older
1
#! /usr/bin/env python
2
# -*- coding: utf-8 -*-
3
#
4 5
# graph_tool -- a general graph manipulation python module
#
Tiago Peixoto's avatar
Tiago Peixoto committed
6
# Copyright (C) 2006-2018 Tiago de Paula Peixoto <tiago@skewed.de>
7 8 9 10 11 12 13 14 15 16 17 18 19 20
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

21
"""
Tiago Peixoto's avatar
Tiago Peixoto committed
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
graph_tool - efficient graph analysis and manipulation
======================================================

Summary
-------

.. autosummary::
   :nosignatures:

   Graph
   GraphView
   Vertex
   Edge
   PropertyMap
   PropertyArray
   load_graph
38
   load_graph_from_csv
Tiago Peixoto's avatar
Tiago Peixoto committed
39 40
   group_vector_property
   ungroup_vector_property
41
   map_property_values
42
   infect_vertex_property
43
   edge_endpoint_property
44
   incident_edges_op
45
   perfect_prop_hash
Tiago Peixoto's avatar
Tiago Peixoto committed
46
   value_types
47 48 49 50 51
   openmp_enabled
   openmp_get_num_threads
   openmp_set_num_threads
   openmp_get_schedule
   openmp_set_schedule
Tiago Peixoto's avatar
Tiago Peixoto committed
52 53
   show_config

Tiago Peixoto's avatar
Tiago Peixoto committed
54 55

This module provides:
56

57
   1. A :class:`~graph_tool.Graph` class for graph representation and manipulation
58 59
   2. Property maps for Vertex, Edge or Graph.
   3. Fast algorithms implemented in C++.
60

61 62
How to use the documentation
----------------------------
63

64 65
Documentation is available in two forms: docstrings provided
with the code, and the full documentation available in
Tiago Peixoto's avatar
Tiago Peixoto committed
66
`the graph-tool homepage <http://graph-tool.skewed.de>`_.
67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84

We recommend exploring the docstrings using `IPython
<http://ipython.scipy.org>`_, an advanced Python shell with TAB-completion and
introspection capabilities.

The docstring examples assume that ``graph_tool.all`` has been imported as
``gt``::

   >>> import graph_tool.all as gt

Code snippets are indicated by three greater-than signs::

   >>> x = x + 1

Use the built-in ``help`` function to view a function's docstring::

   >>> help(gt.Graph)

Tiago Peixoto's avatar
Tiago Peixoto committed
85 86
Contents
--------
87
"""
88

89
from __future__ import division, absolute_import, print_function
90 91 92
import sys
if sys.version_info < (3,):
    range = xrange
93 94
else:
    unicode = str
95

Tiago Peixoto's avatar
Tiago Peixoto committed
96
__author__ = "Tiago de Paula Peixoto <tiago@skewed.de>"
Tiago Peixoto's avatar
Tiago Peixoto committed
97
__copyright__ = "Copyright 2006-2018 Tiago de Paula Peixoto"
Tiago Peixoto's avatar
Tiago Peixoto committed
98
__license__ = "GPL version 3 or above"
Tiago Peixoto's avatar
Tiago Peixoto committed
99
__URL__ = "http://graph-tool.skewed.de"
100

101 102 103 104
# import numpy and scipy before everything to avoid weird segmentation faults
# depending on the order things are imported.

import numpy
105
import numpy.ma
106 107 108
import scipy
import scipy.stats

109 110 111

from .dl_import import *
dl_import("from . import libgraph_tool_core as libcore")
112 113
__version__ = libcore.mod_info().version

Tiago Peixoto's avatar
Tiago Peixoto committed
114
from . import gt_io  # sets up libcore io routines
115 116 117 118 119

import sys
import os
import re
import gzip
120 121 122 123 124
import bz2
try:
    import lzma
except ImportError:
    pass
125 126
import weakref
import copy
127
import textwrap
Tiago Peixoto's avatar
Tiago Peixoto committed
128
import io
129
import collections
130 131
import itertools
import csv
Tiago Peixoto's avatar
Tiago Peixoto committed
132 133 134

if sys.version_info < (3,):
    import StringIO
135 136 137 138 139 140 141
    def _to_str(x):
        if isinstance(x, unicode):
            return x.encode("utf8")
        return x
else:
    def _to_str(x):
        return x
142

143
from .decorators import _wraps, _require, _attrs, _limit_args, _copy_func
144
from inspect import ismethod
Tiago Peixoto's avatar
Tiago Peixoto committed
145

146 147
__all__ = ["Graph", "GraphView", "Vertex", "Edge", "VertexBase", "EdgeBase",
           "Vector_bool", "Vector_int16_t", "Vector_int32_t", "Vector_int64_t",
148
           "Vector_double", "Vector_long_double", "Vector_string",
149
           "Vector_size_t", "value_types", "load_graph", "load_graph_from_csv",
150 151 152 153 154
           "PropertyMap", "PropertyArray", "group_vector_property",
           "ungroup_vector_property", "map_property_values",
           "infect_vertex_property", "edge_endpoint_property",
           "incident_edges_op", "perfect_prop_hash", "seed_rng", "show_config",
           "openmp_enabled", "openmp_get_num_threads", "openmp_set_num_threads",
155 156
           "openmp_get_schedule", "openmp_set_schedule", "__author__",
           "__copyright__", "__URL__", "__version__"]
157

Tiago Peixoto's avatar
Tiago Peixoto committed
158 159
# this is rather pointless, but it works around a sphinx bug
graph_tool = sys.modules[__name__]
160 161 162 163 164 165 166 167 168

################################################################################
# Utility functions
################################################################################


def _prop(t, g, prop):
    """Return either a property map, or an internal property map with a given
    name."""
169
    if isinstance(prop, (str, unicode)):
170 171 172 173 174 175 176 177
        try:
            pmap = g.properties[(t, prop)]
        except KeyError:
            raise KeyError("no internal %s property named: %s" %\
                           ("vertex" if t == "v" else \
                            ("edge" if t == "e" else "graph"), prop))
    else:
        pmap = prop
178
    if pmap is None:
179
        return libcore.any()
180 181 182 183
    if t != prop.key_type():
        names = {'e': 'edge', 'v': 'vertex', 'g': 'graph'}
        raise ValueError("Expected '%s' property map, got '%s'" %
                         (names[t], names[prop.key_type()]))
184 185 186 187 188 189
    u = pmap.get_graph()
    if u is None:
        raise ValueError("Received orphaned property map")
    if g.base is not u.base:
        raise ValueError("Received property map for graph %s (base: %s), expected: %s (base: %s)" %
                         (str(g), str(g.base), str(u), str(u.base)))
190
    return pmap._get_any()
191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210


def _degree(g, name):
    """Retrieve the degree type from string, or returns the corresponding
    property map."""
    deg = name
    if name == "in-degree" or name == "in":
        deg = libcore.Degree.In
    elif name == "out-degree" or name == "out":
        deg = libcore.Degree.Out
    elif name == "total-degree" or name == "total":
        deg = libcore.Degree.Total
    else:
        deg = _prop("v", g, deg)
    return deg


def _type_alias(type_name):
    alias = {"int8_t": "bool",
             "boolean": "bool",
211
             "short": "int16_t",
212
             "int": "int32_t",
Tiago Peixoto's avatar
Tiago Peixoto committed
213
             "unsigned int": "int32_t",
214 215
             "long": "int64_t",
             "long long": "int64_t",
216
             "unsigned long": "int64_t",
217 218 219 220
             "object": "python::object",
             "float": "double"}
    if type_name in alias:
        return alias[type_name]
221
    if type_name in value_types():
222
        return _to_str(type_name)
223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
    ma = re.compile(r"vector<(.*)>").match(type_name)
    if ma:
        t = ma.group(1)
        if t in alias:
            return "vector<%s>" % alias[t]
    raise ValueError("invalid property value type: " + type_name)


def _python_type(type_name):
    type_name = _type_alias(type_name)
    if "vector" in type_name:
        ma = re.compile(r"vector<(.*)>").match(type_name)
        t = ma.group(1)
        return list, _python_type(t)
    if "int" in type_name:
        return int
    if type_name == "bool":
        return bool
    if "double" in type_name:
        return float
243
    if type_name == "string":
244 245 246
        return str
    return object

247
def _gt_type(obj):
248 249 250 251 252
    if isinstance(obj, numpy.dtype):
        t = obj.type
    else:
        t = type(obj)
    if issubclass(t, (numpy.int16, numpy.uint16, numpy.int8, numpy.uint8)):
253
        return "int16_t"
254
    if issubclass(t, (int, numpy.int32, numpy.uint32)):
255
        return "int32_t"
256
    if issubclass(t, (numpy.longlong, numpy.uint64, numpy.int64)):
257
        return "int64_t"
258
    if issubclass(t, (float, numpy.float, numpy.float16, numpy.float32, numpy.float64)):
259
        return "double"
260
    if issubclass(t, numpy.float128):
261
        return "long double"
262
    if issubclass(t, (str, unicode)):
263
        return "string"
264
    if issubclass(t, bool):
265
        return "bool"
266
    if issubclass(t, (list, numpy.ndarray)):
267 268 269
        return "vector<%s>" % _gt_type(obj[0])
    return "object"

270
def _converter(val_type):
271 272
    # attempt to convert to a compatible python type. This is useful,
    # for instance, when dealing with numpy types.
273
    vtype = _python_type(val_type)
274
    if type(vtype) is tuple:
275 276 277 278 279
        def convert(val):
            return [vtype[1](x) for x in val]
    elif vtype is object:
        def convert(val):
            return val
280 281
    elif vtype is str:
        return _c_str
282 283 284 285
    else:
        def convert(val):
            return vtype(val)
    return convert
286

287 288 289
def show_config():
    """Show ``graph_tool`` build configuration."""
    info = libcore.mod_info()
290 291 292 293 294 295 296 297
    print("version:", info.version)
    print("gcc version:", info.gcc_version)
    print("compilation flags:", info.cxxflags)
    print("install prefix:", info.install_prefix)
    print("python dir:", info.python_dir)
    print("graph filtering:", libcore.graph_filtering_enabled())
    print("openmp:", libcore.openmp_enabled())
    print("uname:", " ".join(os.uname()))
298

299
def terminal_size():
300 301 302 303 304 305 306
    try:
        import fcntl, termios, struct
        h, w, hp, wp = struct.unpack('HHHH',
            fcntl.ioctl(0, termios.TIOCGWINSZ,
            struct.pack('HHHH', 0, 0, 0, 0)))
    except IOError:
        w, h = 80, 100
307 308
    return w, h

309 310 311 312 313
try:
    libcore.mod_info("wrong")
except BaseException as e:
    ArgumentError = type(e)

314 315
# Python 2 vs 3 compatibility

316 317 318 319
if sys.version_info < (3,):
    def _c_str(s):
        if isinstance(s, unicode):
            return s.encode("utf-8")
320
        return str(s)
321 322
    def _str_decode(s):
        return s
323 324
else:
    def _c_str(s):
325
        return str(s)
326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347
    def _str_decode(s):
        if isinstance(s, bytes):
            return s.decode("utf-8")
        return s

def get_bytes_io(buf=None):
    """We want BytesIO for python 3, but StringIO for python 2."""
    if sys.version_info < (3,):
        return StringIO.StringIO(buf)
    else:
        return io.BytesIO(buf)

def conv_pickle_state(state):
    """State keys may be of type `bytes` if python 3 is being used, but state was
    pickled with python 2."""

    if sys.version_info >= (3,):
        keys = [k for k in state.keys() if type(k) is bytes]
        for k in keys:
            state[k.decode("utf-8")] = state[k]
            del state[k]

348

349 350 351 352 353
################################################################################
# Property Maps
################################################################################

class PropertyMap(object):
354 355
    """This class provides a mapping from vertices, edges or whole graphs to
    arbitrary properties.
356

357 358 359
    See :ref:`sec_property_maps` for more details.

    The possible property value types are listed below.
360 361 362 363 364 365 366

    .. table::

        =======================     ======================
         Type name                  Alias
        =======================     ======================
        ``bool``                    ``uint8_t``
367
        ``int16_t``                 ``short``
368 369 370 371 372 373
        ``int32_t``                 ``int``
        ``int64_t``                 ``long``, ``long long``
        ``double``                  ``float``
        ``long double``
        ``string``
        ``vector<bool>``            ``vector<uint8_t>``
374
        ``vector<int16_t>``         ``short``
375 376 377 378 379 380 381 382
        ``vector<int32_t>``         ``vector<int>``
        ``vector<int64_t>``         ``vector<long>``, ``vector<long long>``
        ``vector<double>``          ``vector<float>``
        ``vector<long double>``
        ``vector<string>``
        ``python::object``          ``object``
        =======================     ======================
    """
383
    def __init__(self, pmap, g, key_type):
384 385
        self.__map = pmap
        self.__g = weakref.ref(g)
386 387 388
        self.__base_g = weakref.ref(g.base)  # keep reference to the
                                             # base graph, in case the
                                             # graph view is deleted.
389
        self.__key_type = key_type
390
        self.__convert = _converter(self.value_type())
391 392
        self.__register_map()

393 394 395 396 397 398 399 400 401 402 403 404
    def _get_any(self):
        t = self.key_type()
        g = self.get_graph()
        if t == "v":
            N = g.num_vertices(True)
        elif t == "e":
            N = g.edge_index_range
        else:
            N = 1
        self.reserve(N)
        return self.__map.get_map()

405 406 407 408 409 410
    def __key_trans(self, key):
        if self.key_type() == "g":
            return key._Graph__graph
        else:
            return key

411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426
    def __key_convert(self, k):
        if self.key_type() == "e":
            try:
                k = (int(k[0]), int(k[1]))
            except:
                raise ArgumentError
            key = self.__g().edge(k[0], k[1])
            if key is None:
                raise ValueError("Nonexistent edge: %s" % str(k))
        elif self.key_type() == "v":
            try:
                key = int(k)
            except:
                raise ArgumentError
            key = self.__g().vertex(key)
        return key
427

428
    def __register_map(self):
429 430
        for g in [self.__g(), self.__base_g()]:
            if g is not None:
431
                g._Graph__known_properties[id(self)] = weakref.ref(self)
432 433

    def __unregister_map(self):
434
        for g in [self.__g(), self.__base_g()]:
435
            if g is not None and id(self) in g._Graph__known_properties:
436
                del g._Graph__known_properties[id(self)]
437 438 439 440 441

    def __del__(self):
        self.__unregister_map()

    def __getitem__(self, k):
442 443 444 445 446 447 448 449 450 451 452 453 454 455
        k = self.__key_trans(k)
        try:
            return self.__map[k]
        except ArgumentError:
            try:
                k = self.__key_convert(k)
                return self.__map[k]
            except ArgumentError:
                if self.key_type() == "e":
                    kt = "Edge"
                elif self.key_type() == "v":
                    kt = "Vertex"
                else:
                    kt = "Graph"
456 457
                raise ValueError("invalid key '%s' of type '%s', wanted type: %s"
                                 % (str(k), str(type(k)), kt) )
458 459 460 461

    def __setitem__(self, k, v):
        key = self.__key_trans(k)
        try:
462 463 464
            try:
                self.__map[key] = v
            except TypeError:
465
                self.__map[key] = self.__convert(v)
466 467 468 469 470 471
        except ArgumentError:
            try:
                key = self.__key_convert(key)
                try:
                    self.__map[key] = v
                except TypeError:
472
                    self.__map[key] = self.__convert(v)
473 474 475 476 477 478 479
            except ArgumentError:
                if self.key_type() == "e":
                    kt = "Edge"
                elif self.key_type() == "v":
                    kt = "Vertex"
                else:
                    kt = "Graph"
480 481 482 483 484
                vt = self.value_type()
                raise ValueError("invalid key value pair '(%s, %s)' of types "
                                 "'(%s, %s)', wanted types: (%s, %s)" %
                                 (str(k), str(v), str(type(k)),
                                  str(type(v)), kt, vt))
485 486 487 488 489 490 491 492 493 494
    def __iter__(self):
        g = self.__g()
        if self.key_type() == "g":
            iters = [g]
        elif self.key_type() == "v":
            iters = g.vertices()
        else:
            iters = g.edges()
        for x in iters:
            yield self[x]
495 496 497 498 499 500 501 502 503

    def __repr__(self):
        # provide some more useful information
        if self.key_type() == "e":
            k = "Edge"
        elif self.key_type() == "v":
            k = "Vertex"
        else:
            k = "Graph"
504
        g = self.get_graph()
505
        if g is None:
506 507 508 509
            g = "a non-existent graph"
        else:
            g = "Graph 0x%x" % id(g)
        return ("<PropertyMap object with key type '%s' and value type '%s',"
510
                + " for %s, at 0x%x>") % (k, self.value_type(), g, id(self))
511

512 513 514 515 516 517 518 519 520
    def copy(self, value_type=None, full=True):
        """Return a copy of the property map. If ``value_type`` is specified, the value
        type is converted to the chosen type. If ``full == False``, in the case
        of filtered graphs only the unmasked values are copied (with the
        remaining ones taking the type-dependent default value).

        """
        return self.get_graph().copy_property(self, value_type=value_type,
                                              full=full)
521

522 523 524
    def __copy__(self):
        return self.copy()

525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540
    def __deepcopy__(self, memo):
        if self.value_type() != "python::object":
            return self.copy()
        else:
            pmap = self.copy()
            g = self.get_graph()
            if self.key_type() == "g":
                iters = [g]
            elif self.key_type() == "v":
                iters = g.vertices()
            else:
                iters = g.edges()
            for v in iters:
                pmap[v] = copy.deepcopy(self[v], memo)
            return pmap

541 542
    def get_graph(self):
        """Get the graph class to which the map refers."""
543 544 545 546
        g = self.__g()
        if g is None:
            g = self.__base_g()
        return g
547 548 549 550 551 552 553 554 555 556 557 558 559 560

    def key_type(self):
        """Return the key type of the map. Either 'g', 'v' or 'e'."""
        return self.__key_type

    def value_type(self):
        """Return the value type of the map."""
        return self.__map.value_type()

    def python_value_type(self):
        """Return the python-compatible value type of the map."""
        return _python_type(self.__map.value_type())

    def get_array(self):
561 562
        """Get a :class:`numpy.ndarray` subclass (:class:`~graph_tool.PropertyArray`)
        with the property values.
563

564 565 566 567
        .. note::

           An array is returned *only if* the value type of the property map is
           a scalar. For vector, string or object types, ``None`` is returned
568 569 570
           instead. For vector and string objects, indirect array access is
           provided via the :func:`~graph_tool.PropertyMap.get_2d_array()` and
           :func:`~graph_tool.PropertyMap.set_2d_array()` member functions.
571 572

        .. warning::
573 574 575

           The returned array does not own the data, which belongs to the
           property map. Therefore, if the graph changes, the array may become
576 577 578
           *invalid*. Do **not** store the array if the graph is to be modified;
           store a **copy** instead.

579
        """
580
        return self._get_data()
581 582

    def _get_data(self):
583 584
        g = self.get_graph()
        if g is None:
585
            raise ValueError("Cannot get array for an orphaned property map")
586
        if self.__key_type == 'v':
587
            n = g._Graph__graph.get_num_vertices(False)
588
        elif self.__key_type == 'e':
589
            n = g.edge_index_range
590 591 592
        else:
            n = 1
        a = self.__map.get_array(n)
593 594 595
        if a is None:
            return a
        return PropertyArray(a, self)
596 597

    def __set_array(self, v):
598
        a = self.get_array()
599 600 601
        if a is None:
            raise TypeError("cannot set property map values from array for" +
                            " property map of type: " + self.value_type())
602
        a[:] = v
603

604
    a = property(get_array, __set_array,
605
                 doc=r"""Shortcut to the :meth:`~PropertyMap.get_array` method
606 607 608 609
                 as an attribute. This makes assignments more convenient, e.g.:

                 >>> g = gt.Graph()
                 >>> g.add_vertex(10)
Tiago Peixoto's avatar
Tiago Peixoto committed
610
                 <...>
611 612 613 614 615 616 617 618 619 620 621 622
                 >>> prop = g.new_vertex_property("double")
                 >>> prop.a = np.random.random(10)           # Assignment from array
                 """)

    def __get_set_f_array(self, v=None, get=True):
        g = self.get_graph()
        if g is None:
            return None
        a = self.get_array()
        filt = [None]
        if self.__key_type == 'v':
            filt = g.get_vertex_filter()
623
            N = g.num_vertices()
624 625
        elif self.__key_type == 'e':
            filt = g.get_edge_filter()
626 627
            if g.get_vertex_filter()[0] is not None:
                filt = (g.new_edge_property("bool"), filt[1])
628
                libcore.mark_edges(g._Graph__graph, _prop("e", g, filt[0]))
629
                if filt[1]:
630
                    filt[0].a = numpy.logical_not(filt[0].a)
631
            elif g.edge_index_range != g.num_edges():
632
                filt = (g.new_edge_property("bool"), False)
633
                libcore.mark_edges(g._Graph__graph, _prop("e", g, filt[0]))
634
            if filt[0] is None:
635
                N = g.edge_index_range
636 637
            else:
                N = (filt[0].a == (not filt[1])).sum()
638
        if get:
639 640 641 642
            if a is None:
                return a
            if filt[0] is None:
                return a
643
            return a[filt[0].a == (not filt[1])][:N]
644
        else:
645
            if a is None:
646 647
                raise TypeError("cannot set property map values from array for" +
                                " property map of type: " + self.value_type())
648
            if filt[0] is None:
649 650 651 652
                try:
                    a[:] = v
                except ValueError:
                    a[:] = v[:len(a)]
653
            else:
654
                m = filt[0].a == (not filt[1])
655
                m *= m.cumsum() <= N
656 657 658 659
                try:
                    a[m] = v
                except ValueError:
                    a[m] = v[:len(m)][m]
660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683

    fa = property(__get_set_f_array,
                  lambda self, v: self.__get_set_f_array(v, False),
                  doc=r"""The same as the :attr:`~PropertyMap.a` attribute, but
                  instead an *indexed* array is returned, which contains only
                  entries for vertices/edges which are not filtered out. If
                  there are no filters in place, the array is not indexed, and
                  is identical to the :attr:`~PropertyMap.a` attribute.

                  Note that because advanced indexing is triggered, a **copy**
                  of the array is returned, not a view, as for the
                  :attr:`~PropertyMap.a` attribute. Nevertheless, the assignment
                  of values to the *whole* array at once works as expected.""")

    def __get_set_m_array(self, v=None, get=True):
        g = self.get_graph()
        if g is None:
            return None
        a = self.get_array()
        filt = [None]
        if self.__key_type == 'v':
            filt = g.get_vertex_filter()
        elif self.__key_type == 'e':
            filt = g.get_edge_filter()
684 685
            if g.get_vertex_filter()[0] is not None:
                filt = (g.new_edge_property("bool"), filt[1])
686
                libcore.mark_edges(g._Graph__graph, _prop("e", g, filt[0]))
687 688
                if filt[1]:
                    filt[0].a = 1 - filt[0].a
689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705
        if filt[0] is None or a is None:
            if get:
                return a
            else:
                return
        ma = numpy.ma.array(a, mask=(filt[0].a == False) if not filt[1] else (filt[0].a == True))
        if get:
            return ma
        else:
            ma[:] = v

    ma = property(__get_set_m_array,
                  lambda self, v: self.__get_set_m_array(v, False),
                  doc=r"""The same as the :attr:`~PropertyMap.a` attribute, but
                  instead a :class:`~numpy.ma.MaskedArray` object is returned,
                  which contains only entries for vertices/edges which are not
                  filtered out. If there are no filters in place, a regular
706
                  :class:`~graph_tool.PropertyArray` is returned, which
707
                  is identical to the :attr:`~PropertyMap.a` attribute.""")
708

709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725
    def get_2d_array(self, pos):
        r"""Return a two-dimensional array with a copy of the entries of the
        vector-valued property map. The parameter ``pos`` must be a sequence of
        integers which specifies the indexes of the property values which will
        be used. """

        if self.key_type() == "g":
            raise ValueError("Cannot create multidimensional array for graph property maps.")
        if "vector" not in self.value_type() and (len(pos) > 1 or pos[0] != 0):
            raise ValueError("Cannot create array of dimension %d (indexes %s) from non-vector property map of type '%s'." \
                             % (len(pos), str(pos), self.value_type()))
        if "string" in self.value_type():
            if "vector" in self.value_type():
                p = ungroup_vector_property(self, pos)
            else:
                p = [self]
            g = self.get_graph()
726 727
            vfilt = g.get_vertex_filter()
            efilt = g.get_edge_filter()
728 729 730
            if self.key_type() == "v":
                iters = g.vertices()
            else:
731 732 733 734 735 736
                iters = [None for i in range(g.edge_index_range)]
                idx = g.edge_index
                for e in g.edges():
                    iters[idx[e]] = e
                iters = [e for e in iters if e is not None]
            a = [[] for i in range(len(p))]
737 738
            for v in iters:
                for i in range(len(p)):
739
                    a[i].append(p[i][v])
740 741
            a = numpy.array(a)
            return a
742

743 744
        p = ungroup_vector_property(self, pos)
        a = numpy.array([x.fa for x in p])
745
        return a
746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765

    def set_2d_array(self, a, pos=None):
        r"""Set the entries of the vector-valued property map from a
        two-dimensional array ``a``. If given, the parameter ``pos`` must be a
        sequence of integers which specifies the indexes of the property values
        which will be set."""

        if self.key_type() == "g":
            raise ValueError("Cannot set multidimensional array for graph property maps.")
        if "vector" not in self.value_type():
            if len(a.shape) != 1:
                raise ValueError("Cannot set array of shape %s to non-vector property map of type %s" % \
                                 (str(a.shape), self.value_type()))
            if self.value_type() != "string":
                self.fa = a
            else:
                g = self.get_graph()
                if self.key_type() == "v":
                    iters = g.vertices()
                else:
766 767 768 769 770
                    iters = [None for i in range(g.edge_index_range)]
                    idx = g.edge_index
                    for e in g.edges():
                        iters[idx[e]] = e
                    iters = [e for e in iters if e is not None]
771 772
                for j, v in enumerate(iters):
                    self[v] = a[j]
773 774 775 776 777 778 779 780 781 782 783 784 785
            return

        val = self.value_type()[7:-1]
        ps = []
        for i in range(a.shape[0]):
            ps.append(self.get_graph().new_property(self.key_type(), val))
            if self.value_type() != "string":
                ps[-1].fa = a[i]
            else:
                g = self.get_graph()
                if self.key_type() == "v":
                    iters = g.vertices()
                else:
786 787 788 789 790
                    iters = [None for i in range(g.edge_index_range)]
                    idx = g.edge_index
                    for e in g.edges():
                        iters[idx[e]] = e
                    iters = [e for e in iters if e is not None]
791 792 793 794
                for j, v in enumerate(iters):
                    ps[-1][v] = a[i, j]
        group_vector_property(ps, val, self, pos)

795 796 797 798
    def is_writable(self):
        """Return True if the property is writable."""
        return self.__map.is_writable()

799 800 801 802

    def set_value(self, val):
        """Sets all values in the property map to ``val``."""
        g = self.get_graph()
803
        val = self.__convert(val)
804
        if self.key_type() == "v":
805
            libcore.set_vertex_property(g._Graph__graph, _prop("v", g, self), val)
806
        elif self.key_type() == "e":
807
            libcore.set_edge_property(g._Graph__graph, _prop("e", g, self), val)
808 809 810
        else:
            self[g] = val

811 812
    def reserve(self, size):
        """Reserve enough space for ``size`` elements in underlying container. If the
813
           original size is already equal or larger, nothing will happen."""
814 815
        self.__map.reserve(size)

816 817 818 819
    def resize(self, size):
        """Resize the underlying container to contain exactly ``size`` elements."""
        self.__map.resize(size)

820 821 822 823 824 825 826
    def shrink_to_fit(self):
        """Shrink size of underlying container to accommodate only the necessary amount,
        and thus potentially freeing memory."""
        g = self.get_graph()
        if self.key_type() == "v":
            size = g.num_vertices(True)
        elif self.key_type() == "e":
827
            size = g.edge_index_range
828 829 830 831 832
        else:
            size = 1
        self.__map.resize(size)
        self.__map.shrink_to_fit()

Tiago Peixoto's avatar
Tiago Peixoto committed
833 834 835 836 837 838 839 840
    def swap(self, other):
        """Swap internal storage with ``other``."""
        if self.key_type() != other.key_type():
            raise ValueError("property maps must have the same key type")
        if self.value_type() != other.value_type():
            raise ValueError("property maps must have the same value type")
        self.__map.swap(other.__map)

841 842 843 844
    def data_ptr(self):
        """Return the pointer to memory where the data resides."""
        return self.__map.data_ptr()

845 846
    def __getstate__(self):
        g = self.get_graph()
847 848
        if g is None:
            raise ValueError("cannot pickle orphaned property map")
849 850 851 852 853 854 855
        value_type = self.value_type()
        key_type = self.key_type()
        if not self.is_writable():
            vals = None
        else:
            u = GraphView(g, skip_vfilt=True, skip_efilt=True)
            if key_type == "v":
856
                vals = [self.__convert(self[v]) for v in u.vertices()]
857
            elif key_type == "e":
858
                vals = [self.__convert(self[e]) for e in u.edges()]
859
            else:
860
                vals = self.__convert(self[g])
861 862 863 864 865 866 867 868 869

        state = dict(g=g, value_type=value_type,
                     key_type=key_type, vals=vals,
                     is_vindex=self is g.vertex_index,
                     is_eindex=self is g.edge_index)

        return state

    def __setstate__(self, state):
870
        conv_pickle_state(state)
871
        g = state["g"]
872 873
        key_type = _str_decode(state["key_type"])
        value_type = _str_decode(state["value_type"])
874 875 876 877 878 879 880 881 882
        vals = state["vals"]

        if state["is_vindex"]:
            pmap = g.vertex_index
        elif state["is_eindex"]:
            pmap = g.edge_index
        else:
            u = GraphView(g, skip_vfilt=True, skip_efilt=True)
            if key_type == "v":
883
                pmap = u.new_vertex_property(value_type, vals=vals)
884
            elif key_type == "e":
885
                pmap = u.new_edge_property(value_type, vals=vals)
886
            else:
887 888 889
                pmap = u.new_graph_property(value_type)
                pmap[u] = vals
            pmap = g.own_property(pmap)
890 891 892 893 894

        self.__map = pmap.__map
        self.__g = pmap.__g
        self.__base_g = pmap.__base_g
        self.__key_type = key_type
Tiago Peixoto's avatar
Tiago Peixoto committed
895
        self.__convert = _converter(self.value_type())
896 897
        self.__register_map()

898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917
class PropertyArray(numpy.ndarray):
    """This is a :class:`~numpy.ndarray` subclass which keeps a reference of its
    :class:`~graph_tool.PropertyMap` owner.
    """

    __array_priority__ = -10

    def _get_pmap(self):
        return self._prop_map

    def _set_pmap(self, value):
        self._prop_map = value

    prop_map = property(_get_pmap, _set_pmap,
                        doc=":class:`~graph_tool.PropertyMap` owner instance.")

    def __new__(cls, input_array, prop_map):
        obj = numpy.asarray(input_array).view(cls)
        obj.prop_map = prop_map
        return obj
918 919 920 921

def _check_prop_writable(prop, name=None):
    if not prop.is_writable():
        raise ValueError("property map%s is not writable." %\
922
                         ((" '%s'" % name) if name is not None else ""))
923 924 925


def _check_prop_scalar(prop, name=None, floating=False):
926
    scalars = ["bool", "int16_t", "int32_t", "int64_t", "unsigned long",
927 928 929 930 931 932
               "double", "long double"]
    if floating:
        scalars = ["double", "long double"]

    if prop.value_type() not in scalars:
        raise ValueError("property map%s is not of scalar%s type." %\
933
                         (((" '%s'" % name) if name is not None else ""),
934 935 936 937
                          (" floating" if floating else "")))


def _check_prop_vector(prop, name=None, scalar=True, floating=False):
938
    scalars = ["bool", "int16_t", "int32_t", "int64_t", "unsigned long",
939 940 941 942 943 944 945 946
               "double", "long double"]
    if not scalar:
        scalars += ["string"]
    if floating:
        scalars = ["double", "long double"]
    vals = ["vector<%s>" % v for v in scalars]
    if prop.value_type() not in vals:
        raise ValueError("property map%s is not of vector%s type." %\
947
                         (((" '%s'" % name) if name is not None else ""),
948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970
                          (" floating" if floating else "")))


def group_vector_property(props, value_type=None, vprop=None, pos=None):
    """Group list of properties ``props`` into a vector property map of the same type.

    Parameters
    ----------
    props : list of :class:`~graph_tool.PropertyMap`
        Properties to be grouped.
    value_type : string (optional, default: None)
        If supplied, defines the value type of the grouped property.
    vprop : :class:`~graph_tool.PropertyMap` (optional, default: None)
        If supplied, the properties are grouped into this property map.
    pos : list of ints (optional, default: None)
        If supplied, should contain a list of indexes where each corresponding
        element of ``props`` should be inserted.

    Returns
    -------
    vprop : :class:`~graph_tool.PropertyMap`
       A vector property map with the grouped values of each property map in
       ``props``.
971 972 973 974 975 976

    Examples
    --------
    >>> from numpy.random import seed, randint
    >>> from numpy import array
    >>> seed(42)
Tiago Peixoto's avatar
Tiago Peixoto committed
977
    >>> gt.seed_rng(42)
978
    >>> g = gt.random_graph(100, lambda: (3, 3))
979 980
    >>> props = [g.new_vertex_property("int") for i in range(3)]
    >>> for i in range(3):
981 982
    ...    props[i].a = randint(0, 100, g.num_vertices())
    >>> gprop = gt.group_vector_property(props)
983
    >>> print(gprop[g.vertex(0)].a)
Tiago Peixoto's avatar
Tiago Peixoto committed
984
    [51 25  8]
985
    >>> print(array([p[g.vertex(0)] for p in props]))
Tiago Peixoto's avatar
Tiago Peixoto committed
986
    [51 25  8]
987 988 989 990 991 992 993 994 995 996 997 998 999 1000
    """
    g = props[0].get_graph()
    vtypes = set()
    keys = set()
    for i, p in enumerate(props):
        if "vector" in p.value_type():
            raise ValueError("property map 'props[%d]' is a vector property." %
                             i)
        vtypes.add(p.value_type())
        keys.add(p.key_type())
    if len(keys) > 1:
        raise ValueError("'props' must be of the same key type.")
    k = keys.pop()

1001 1002
    if vprop is None:
        if value_type is None and len(vtypes) == 1:
1003 1004
            value_type = vtypes.pop()

1005
        if value_type is not None:
1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019
            value_type = "vector<%s>" % value_type
            if k == 'v':
                vprop = g.new_vertex_property(value_type)
            elif k == 'e':
                vprop = g.new_edge_property(value_type)
            else:
                vprop = g.new_graph_property(value_type)
        else:
            ValueError("Can't automatically determine property map value" +
                       " type. Please provide the 'value_type' parameter.")
    _check_prop_vector(vprop, name="vprop", scalar=False)

    for i, p in enumerate(props):
        if k != "g":
1020 1021
            u = GraphView(g, directed=True, reversed=g.is_reversed(),
                          skip_properties=True)
1022
            libcore.group_vector_property(u._Graph__graph, _prop(k, g, vprop),
1023
                                          _prop(k, g, p),
1024
                                          i if pos is None else pos[i],
1025 1026
                                          k == 'e')
        else:
1027
            vprop[g][i if pos is None else pos[i]] = p[g]
1028 1029 1030 1031 1032 1033
    return vprop


def ungroup_vector_property(vprop, pos, props=None):
    """Ungroup vector property map ``vprop`` into a list of individual property maps.

1034
    Parameters
1035 1036 1037
    ----------
    vprop : :class:`~graph_tool.PropertyMap`
        Vector property map to be ungrouped.
1038 1039 1040
    pos : list of ints
        A list of indexes corresponding to where each element of ``vprop``
        should be inserted into the ungrouped list.
1041 1042 1043 1044 1045 1046 1047 1048
    props : list of :class:`~graph_tool.PropertyMap`  (optional, default: None)
        If supplied, should contain a list of property maps to which ``vprop``
        should be ungroupped.

    Returns
    -------
    props : list of :class:`~graph_tool.PropertyMap`
       A list of property maps with the ungrouped values of ``vprop``.
1049 1050 1051 1052 1053 1054

    Examples
    --------
    >>> from numpy.random import seed, randint
    >>> from numpy import array
    >>> seed(42)
Tiago Peixoto's avatar
Tiago Peixoto committed
1055
    >>> gt.seed_rng(42)
1056 1057 1058 1059 1060
    >>> g = gt.random_graph(100, lambda: (3, 3))
    >>> prop = g.new_vertex_property("vector<int>")
    >>> for v in g.vertices():
    ...    prop[v] = randint(0, 100, 3)
    >>> uprops = gt.ungroup_vector_property(prop, [0, 1, 2])
1061
    >>> print(prop[g.vertex(0)].a)
Tiago Peixoto's avatar
Tiago Peixoto committed
1062
    [51 92 14]
1063
    >>> print(array([p[g.vertex(0)] for p in uprops]))
Tiago Peixoto's avatar
Tiago Peixoto committed
1064
    [51 92 14]
1065 1066 1067 1068 1069 1070
    """

    g = vprop.get_graph()
    _check_prop_vector(vprop, name="vprop", scalar=False)
    k = vprop.key_type()
    value_type = vprop.value_type().split("<")[1].split(">")[0]
1071
    if props is None:
1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083
        if k == 'v':
            props = [g.new_vertex_property(value_type) for i in pos]
        elif k == 'e':
            props = [g.new_edge_property(value_type) for i in pos]
        else:
            props = [g.new_graph_property(value_type) for i in pos]

    for i, p in enumerate(pos):
        if props[i].key_type() != k:
            raise ValueError("'props' must be of the same key type as 'vprop'.")

        if k != 'g':
1084 1085 1086
            u = GraphView(g, directed=True, reversed=g.is_reversed(),
                          skip_properties=True)
            libcore.ungroup_vector_property(u._Graph__graph,
1087 1088 1089 1090 1091 1092 1093 1094 1095
                                            _prop(k, g, vprop),
                                            _prop(k, g, props[i]),
                                            p, k == 'e')
        else:
            if len(vprop[g]) <= pos[i]:
                vprop[g].resize(pos[i] + 1)
            props[i][g] = vprop[g][pos[i]]
    return props

1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117
def map_property_values(src_prop, tgt_prop, map_func):
    """Map the values of ``src_prop`` to ``tgt_prop`` according to the mapping
    function ``map_func``.

    Parameters
    ----------
    src_prop : :class:`~graph_tool.PropertyMap`
        Source property map.
    tgt_prop : :class:`~graph_tool.PropertyMap`
        Target property map.
    map_func : function or callable object
        Function mapping values of ``src_prop`` to values of ``tgt_prop``.

    Returns
    -------
    None

    Examples
    --------
    >>> g = gt.collection.data["lesmis"]
    >>> label_len = g.new_vertex_property("int64_t")
    >>> gt.map_property_values(g.vp.label, label_len,
Tiago Peixoto's avatar
Tiago Peixoto committed
1118
    ...                        lambda x: len(x))
1119
    >>> print(label_len.a)
Tiago Peixoto's avatar
Tiago Peixoto committed
1120 1121 1122 1123
    [ 6  8 14 11 12  8 12  8  5  6  7  7 10  6  7  7  9  9  7 11  9  6  7  7
     13 10  7  6 12 10  8  8 11  6  5 12  6 10 11  9 12  7  7  6 14  7  9  9
      8 12  6 16 12 11 14  6  9  6  8 10  9  7 10  7  7  4  9 14  9  5 10 12
      9  6  6  6 12]
1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138
    """

    if src_prop.key_type() != tgt_prop.key_type():
        raise ValueError("src_prop and tgt_prop must be of the same key type")
    g = src_prop.get_graph()
    k = src_prop.key_type()
    if k == "g":
        tgt_prop[g] = map_func(src_prop[g])
        return
    u = GraphView(g, directed=True, reversed=g.is_reversed(),
                  skip_properties=True)
    libcore.property_map_values(u._Graph__graph,
                                _prop(k, g, src_prop),
                                _prop(k, g, tgt_prop),
                                map_func, k == 'e')
1139

1140 1141
def infect_vertex_property(g, prop, vals=None):
    """Propagate the `prop` values of vertices with value `val` to all their
1142
    out-neighbors.
1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153

    Parameters
    ----------
    prop : :class:`~graph_tool.PropertyMap`
        Property map to be modified.
    vals : list (optional, default: `None`)
        List of values to be propagated. If not provided, all values
        will be propagated.

    Returns
    -------
1154
    None : ``None``
1155 1156 1157 1158 1159

    Examples
    --------
    >>> from numpy.random import seed
    >>> seed(42)
Tiago Peixoto's avatar
Tiago Peixoto committed
1160
    >>> gt.seed_rng(42)
1161
    >>> g = gt.random_graph(100, lambda: (3, 3))
Tiago Peixoto's avatar
Tiago Peixoto committed
1162
    >>> prop = g.vertex_index.copy("int32_t")
1163
    >>> gt.infect_vertex_property(g, prop, [10])
1164
    >>> print(sum(prop.a == 10))
Tiago Peixoto's avatar
Tiago Peixoto committed
1165
    4
1166 1167 1168 1169
    """
    libcore.infect_vertex_property(g._Graph__graph, _prop("v", g, prop),
                                   vals)

Tiago Peixoto's avatar
Tiago Peixoto committed
1170

1171 1172 1173 1174
@_limit_args({"endpoint": ["source", "target"]})
def edge_endpoint_property(g, prop, endpoint, eprop=None):
    """Return an edge property map corresponding to the vertex property `prop` of
    either the target and source of the edge, according to `endpoint`.
Tiago Peixoto's avatar
Tiago Peixoto committed
1175 1176 1177 1178

    Parameters
    ----------
    prop : :class:`~graph_tool.PropertyMap`
1179 1180 1181 1182 1183 1184
        Vertex property map to be used to propagated to the edge.
    endpoint : `"source"` or `"target"`
        Edge endpoint considered. If the graph is undirected, the source is
        always the vertex with the lowest index.
    eprop : :class:`~graph_tool.PropertyMap` (optional, default: `None`)
        If provided, the resulting edge properties will be stored here.
Tiago Peixoto's avatar
Tiago Peixoto committed
1185 1186 1187

    Returns
    -------
1188 1189
    eprop : :class:`~graph_tool.PropertyMap`
        Propagated edge property.
Tiago Peixoto's avatar
Tiago Peixoto committed
1190 1191 1192

    Examples
    --------
Tiago Peixoto's avatar
Tiago Peixoto committed
1193
    >>> gt.seed_rng(42)
Tiago Peixoto's avatar
Tiago Peixoto committed
1194
    >>> g = gt.random_graph(100, lambda: (3, 3))
1195 1196
    >>> esource = gt.edge_endpoint_property(g, g.vertex_index, "source")
    >>> print(esource.a)
Tiago Peixoto's avatar
Tiago Peixoto committed
1197
    [ 0  0  0 96 96 96 92 92 92 88 88 88 84 84 84 80 80 80 76 76 76 72 72 72
Tiago Peixoto's avatar
Tiago Peixoto committed
1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209
     68 68 68 64 64 64 60 60 60 56 56 56 52 52 52 48 48 48 44 44 44 40 40 40
     36 36 36 32 32 32 28 28 28 24 24 24 20 20 20 16 16 16 12 12 12  8  8  8
      4  4  4 99 99 99  1  1  1  2  2  2  3  3  3  5  5  5  6  6  6  7  7  7
      9  9  9 10 10 10 14 14 14 19 19 19 25 25 25 30 30 30 35 35 35 41 41 41
     46 46 46 51 51 51 57 57 57 62 62 62 67 67 67 73 73 73 78 78 78 83 83 83
     89 89 89 94 94 94 11 11 11 98 98 98 97 97 97 95 95 95 93 93 93 91 91 91
     90 90 90 87 87 87 86 86 86 85 85 85 82 82 82 81 81 81 79 79 79 77 77 77
     75 75 75 74 74 74 71 71 71 69 69 69 61 61 61 54 54 54 47 47 47 39 39 39
     33 33 33 26 26 26 18 18 18 70 70 70 13 13 13 15 15 15 17 17 17 21 21 21
     22 22 22 23 23 23 27 27 27 29 29 29 31 31 31 34 34 34 37 37 37 38 38 38
     42 42 42 43 43 43 45 45 45 49 49 49 50 50 50 53 53 53 55 55 55 58 58 58
     59 59 59 63 63 63 65 65 65 66 66 66]
Tiago Peixoto's avatar
Tiago Peixoto committed
1210
    """
1211

Tiago Peixoto's avatar
Tiago Peixoto committed
1212
    val_t = prop.value_type()
1213
    if val_t == "unsigned long" or val_t == "unsigned int":
1214 1215 1216 1217 1218
        val_t = "int64_t"
    if eprop is None:
        eprop = g.new_edge_property(val_t)
    if eprop.value_type() != val_t:
        raise ValueError("'eprop' must be of the same value type as 'prop': " +
Tiago Peixoto's avatar
Tiago Peixoto committed
1219
                         val_t)
1220
    libcore.edge_endpoint(g._Graph__graph, _prop("v", g, prop),
1221
                          _prop("e", g, eprop), _to_str(endpoint))
1222
    return eprop
Tiago Peixoto's avatar
Tiago Peixoto committed
1223

1224 1225 1226 1227 1228
@_limit_args({"direction": ["in", "out"], "op": ["sum", "prod", "min", "max"]})
def incident_edges_op(g, direction, op, eprop, vprop=None):
    """Return a vertex property map corresponding to a specific operation (sum,
    product, min or max) on the edge property `eprop` of incident edges on each
    vertex, following the direction given by `direction`.
1229 1230 1231 1232 1233

    Parameters
    ----------
    direction : `"in"` or `"out"`
        Direction of the incident edges.
1234 1235
    op : `"sum"`, `"prod"`, `"min"` or `"max"`
        Operation performed on incident edges.
1236 1237 1238 1239 1240 1241 1242 1243
    eprop : :class:`~graph_tool.PropertyMap`
        Edge property map to be summed.
    vprop : :class:`~graph_tool.PropertyMap` (optional, default: `None`)
        If provided, the resulting vertex properties will be stored here.

    Returns
    -------
    vprop : :class:`~graph_tool.PropertyMap`
1244
        Resulting vertex property.
1245 1246 1247 1248 1249

    Examples
    --------
    >>> gt.seed_rng(42)
    >>> g = gt.random_graph(100, lambda: (3, 3))
1250
    >>> vsum = gt.incident_edges_op(g, "out", "sum", g.edge_index)
1251 1252 1253 1254 1255 1256 1257
    >>> print(vsum.a)
    [  3 237 246 255 219 264 273 282 210 291 300 453 201 687 309 696 192 705
     669 318 183 714 723 732 174 327 660 741 165 750 336 759 156 651 768 345
     147 777 786 642 138 354 795 804 129 813 363 633 120 822 831 372 111 840
     624 849 102 381 858 867  93 615 390 876  84 885 894 399  75 606 678 597
      66 408 588 579  57 570 417 561  48 552 543 426  39 534 525 516  30 435
     507 498  21 489 444 480  12 471 462 228]
1258

1259 1260 1261
    """

    val_t = eprop.value_type()
1262
    if val_t == "unsigned long" or val_t == "unsigned int":
1263 1264 1265
        val_t = "int64_t"
    if vprop is None:
        vprop = g.new_vertex_property(val_t)
1266 1267 1268
    orig_vprop = vprop
    if vprop.value_type != val_t:
        vprop = g.new_vertex_property(val_t)
1269
    if direction == "in" and not g.is_directed():
1270
        return orig_vprop
1271 1272
    if direction == "in":
        g = GraphView(g, reversed=True, skip_properties=True)
1273
    libcore.out_edges_op(g._Graph__graph, _prop("e", g, eprop),
1274
                          _prop("v", g, vprop), _to_str(op))
1275 1276 1277
    if vprop is not orig_vprop:
        g.copy_property(vprop, orig_vprop)
    return orig_vprop
1278

1279 1280 1281
@_limit_args({"htype": ["int8_t", "int32_t", "int64_t"]})
def perfect_prop_hash(props, htype="int32_t"):
    """Given a list of property maps `props` of the same type, a derived list of
1282
    property maps with integral type `htype` is returned, where each value is
1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304
    replaced by a perfect (i.e. unique) hash value.

    .. note::
       The hash value is deterministic, but it will not be necessarily the same
       for different values of `props`.
    """

    val_types = set([p.value_type() for p in props])
    if len(val_types) > 1:
        raise ValueError("All properties must have the same value type")
    hprops = [p.get_graph().new_property(p.key_type(), htype) for p in props]

    eprops = [p for p in props if p.key_type() == "e"]
    heprops = [p for p in hprops if p.key_type() == "e"]

    vprops = [p for p in props if p.key_type() == "v"]
    hvprops = [p for p in hprops if p.key_type() == "v"]

    hdict = libcore.any()

    for eprop, heprop in zip(eprops, heprops):
        g = eprop.get_graph()
1305
        g = GraphView(g, directed=True, skip_properties=True)