var a00096 = [ [ "DEFAULT_BASE_GENERATOR", "a00096.html#a19d4c88b5cbd95ba3f5286df337494d6", null ], [ "DEFAULT_UNIFORM_GENERATOR", "a00096.html#a41213a13a152e88eb7293f838e6a4d47", null ], [ "DEFAULT_POS_PROBALILITY_MASS", "a00096.html#af9e35ecf1514a2488d9d8414ca6f1b64", null ], [ "DEFAULT_LAST_LOWER_BOUND_ARRIVAL_PATTERN", "a00096.html#ad33e868cc87f3c79d6bc468f92f5ec08", null ], [ "DEFAULT_FRAT5_PATTERN", "a00096.html#ac3b161a1161b6cbfa23d47317e1b5331", null ], [ "DEFAULT_MAX_ADVANCE_PURCHASE", "a00096.html#a0f4a0055d2e920f5132de2c8949500c2", null ], [ "DEFAULT_UNIFORM_REAL_DISTRIBUTION", "a00096.html#a5f35eb5443cba0870940e053b840edfa", null ] ];