var a00055 = [ [ "storeDTD", "a00055.html#a9d8b7a91859198c18079b8191703cb0e", null ], [ "operator()", "a00055.html#acb4b787bb2286bc2433879a7ddf622f7", null ], [ "_demand", "a00055.html#a97779682409a041daa466a7b51ff66e4", null ] ];
var a00055 = [ [ "storeDTD", "a00055.html#a9d8b7a91859198c18079b8191703cb0e", null ], [ "operator()", "a00055.html#acb4b787bb2286bc2433879a7ddf622f7", null ], [ "_demand", "a00055.html#a97779682409a041daa466a7b51ff66e4", null ] ];