From 1dc97bdc6dfb90d5dc8e143ba28ea00ee6126c3e Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Wed, 11 Nov 2015 13:34:44 +0100
Subject: [PATCH] some verbose output
---
.../src/automaton/determinize/DeterminizeRHDPDAPart.cxx | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx b/alib2algo/src/automaton/determinize/DeterminizeRHDPDAPart.cxx
index 7415179a09..419e4704ff 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;
}
--
GitLab