var class_console_reader =
[
    [ "fillInputBuffer", "class_console_reader.html#afbaebf191d14852f2f8e08ec366d90a2", null ],
    [ "more", "class_console_reader.html#a135e71e95e40476ef30f1fd4e00a4c53", null ],
    [ "printPrimaryPrompt", "class_console_reader.html#aad21ebb2a6e00a4f4ed9a2805f86e5d5", null ]
];