CBMC
consolet::redirectt Member List

This is the complete list of members for consolet::redirectt, including all inherited members.

old_errconsolet::redirecttprotected
old_is_terminalconsolet::redirecttprotected
old_outconsolet::redirecttprotected
redirectt(std::ostream &__console_out, std::ostream &__console_err)consolet::redirectt
~redirectt()consolet::redirectt