var classzyppng_1_1sat_1_1PoolMember =
[
    [ "pool", "classzyppng_1_1sat_1_1PoolMember.html#a7f3615c1ea600c7429cd8f56a241f8d1", null ],
    [ "pool", "classzyppng_1_1sat_1_1PoolMember.html#a1843803bf996e9272f1f375787e69747", null ]
];