var sat_2detail_2PoolImpl_8h = [ [ "PoolImpl", "classzypp_1_1sat_1_1detail_1_1PoolImpl.html", "classzypp_1_1sat_1_1detail_1_1PoolImpl" ], [ "POOL_SETDIRTY", "sat_2detail_2PoolImpl_8h.html#aae4846f28321c08dfbc1a8b129885e68", null ] ];
var sat_2detail_2PoolImpl_8h = [ [ "PoolImpl", "classzypp_1_1sat_1_1detail_1_1PoolImpl.html", "classzypp_1_1sat_1_1detail_1_1PoolImpl" ], [ "POOL_SETDIRTY", "sat_2detail_2PoolImpl_8h.html#aae4846f28321c08dfbc1a8b129885e68", null ] ];