var a00059 = [ [ "storeOrigin", "a00059.html#a65fcb015a66753a97797f9599babc90f", null ], [ "operator()", "a00059.html#aca95c87640ce94a14ee416f113cf368a", null ], [ "_demand", "a00059.html#a97779682409a041daa466a7b51ff66e4", null ] ];
var a00059 = [ [ "storeOrigin", "a00059.html#a65fcb015a66753a97797f9599babc90f", null ], [ "operator()", "a00059.html#aca95c87640ce94a14ee416f113cf368a", null ], [ "_demand", "a00059.html#a97779682409a041daa466a7b51ff66e4", null ] ];