var a00065 =
[
    [ "storePrefDepTime", "a00065.html#a008d9bb41a7bd04469ee844a5c4a2cfa", null ],
    [ "operator()", "a00065.html#af4c2f3dc12c531552afc5925593bd952", null ],
    [ "_demand", "a00065.html#a97779682409a041daa466a7b51ff66e4", null ]
];