← Back to branch summary

~ubuntu-branches/ubuntu/lucid/aptitude/lucid-proposed

« back to all changes in this revision

Viewing changes to src/generic/util/immset.h

  • Committer: Bazaar Package Importer
  • Author(s): Michael Vogt
  • Date: 2008-05-27 10:28:10 UTC
  • mfrom: (1.2.5 upstream)
  • Revision ID: james.westby@ubuntu.com-20080527102810-pxc090mnjkr4xlek
Tags: 0.4.11.2-1ubuntu1
* Merge from debian unstable, remaining changes:
  - 03_branding.dpatch: ubuntu branding
  - 04_changelog.dpatch: take changelogs from changelogs.ubuntu.com
  - 07_hide_recommends_warning.dpatch: do not show a warning about
    missing recommends
  - 08_ubuntu_default_source.dpatch: do not clean lists directory
    on transient network failures
  - 11_gxx43.dpatch:build tests without -Werror
* Updated:
  - 03_branding.dpatch
* Disabled 07_hide_recommends warning because we do install 
  recommends now by default too

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/generic/util/immset.h
1
1
// immset.h                                     -*-c++-*-
2
2
//
3
 
//   Copyright (C) 2005-2006 Daniel Burrows
 
3
//   Copyright (C) 2005-2006, 2008 Daniel Burrows
4
4
//
5
5
//   This program is free software; you can redistribute it and/or
6
6
//   modify it under the terms of the GNU General Public License as
1013
1013
      contents.dump(out);
1014
1014
    }
1015
1015
 
 
1016
    /** \brief Return \b true if each binding is related under
 
1017
     *  compare to a binding in other of an equivalent key.
 
1018
     */
 
1019
    template<typename BindingCmp>
 
1020
    bool is_supermap_of_under(const map &other,
 
1021
                              const BindingCmp &compare = BindingCmp()) const
 
1022
    {
 
1023
      return contents.contains(other.contents, compare);
 
1024
    }
 
1025
 
 
1026
    bool is_supermap_of(const map &other)
 
1027
    {
 
1028
      return contents.contains(other.contents, std::equal_to<std::pair<Key, Val> >());
 
1029
    }
 
1030
 
1016
1031
    bool domain_intersects(const map &other) const
1017
1032
    {
1018
1033
      return contents.intersects(other.contents);