Searched refs:cout_ptr (Results 1 – 1 of 1) sorted by relevance
39 ostream* cout_ptr = ::new(cout) ostream(::new(__cout) __stdoutbuf<char>(stdout, state_types+1)); in Init() local42 cin_ptr->tie(cout_ptr); in Init()44 cerr_ptr->tie(cout_ptr); in Init()57 ostream* cout_ptr = reinterpret_cast<ostream*>(cout); in ~Init() local59 cout_ptr->flush(); in ~Init()