diff --git a/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx b/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx index 7415179a09d07a39c7aa851e07d1500e32e2f33d..419e4704ff65ac28298b91b9ec5470d0cd7a84c2 100644 --- a/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx +++ b/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx @@ -268,6 +268,13 @@ automaton::RealTimeHeightDeterministicDPDA Determinize::determinize(const automa } } + if ( common::GlobalData::verbose ) { + std::clog << "Rubbish states: " << rubbishStates << std::endl; + std::clog << "Rubbish return transitions: " << rubbishReturnTransitions << std::endl; + std::clog << "Rubbish call transitions: " << rubbishCallTransitions << std::endl; + std::clog << "Rubbish local transitions:" << rubbishLocalTransitions << std::endl; + } + return d; }