var namespacezypp_1_1sat_1_1detail =
[
    [ "DIWrap", "classzypp_1_1sat_1_1detail_1_1DIWrap.html", "classzypp_1_1sat_1_1detail_1_1DIWrap" ],
    [ "PoolImpl", "classzypp_1_1sat_1_1detail_1_1PoolImpl.html", "classzypp_1_1sat_1_1detail_1_1PoolImpl" ],
    [ "PoolMember", "structzypp_1_1sat_1_1detail_1_1PoolMember.html", "structzypp_1_1sat_1_1detail_1_1PoolMember" ],
    [ "SolvableIterator", "classzypp_1_1sat_1_1detail_1_1SolvableIterator.html", "classzypp_1_1sat_1_1detail_1_1SolvableIterator" ],
    [ "Transaction_const_iterator", "classzypp_1_1sat_1_1detail_1_1Transaction__const__iterator.html", "classzypp_1_1sat_1_1detail_1_1Transaction__const__iterator" ],
    [ "Transaction_iterator", "classzypp_1_1sat_1_1detail_1_1Transaction__iterator.html", "classzypp_1_1sat_1_1detail_1_1Transaction__iterator" ],
    [ "WhatProvidesIterator", "classzypp_1_1sat_1_1detail_1_1WhatProvidesIterator.html", "classzypp_1_1sat_1_1detail_1_1WhatProvidesIterator" ]
];