var a00073 = [ [ "storeWTP", "a00073.html#a7672d41c00298ec2cc1a3568fb83f650", null ], [ "operator()", "a00073.html#a81f2cf4d289efbdeda07bea28663e70a", null ], [ "_demand", "a00073.html#a97779682409a041daa466a7b51ff66e4", null ] ];
var a00073 = [ [ "storeWTP", "a00073.html#a7672d41c00298ec2cc1a3568fb83f650", null ], [ "operator()", "a00073.html#a81f2cf4d289efbdeda07bea28663e70a", null ], [ "_demand", "a00073.html#a97779682409a041daa466a7b51ff66e4", null ] ];