var a00071 =
[
    [ "storeTripCode", "a00071.html#a6e726210cc13976f80317da83ba0a374", null ],
    [ "operator()", "a00071.html#af640691efea55a5e8753bd7d1fce3bb4", null ],
    [ "_demand", "a00071.html#a97779682409a041daa466a7b51ff66e4", null ]
];