From 1f36098e6373abadd742d87386718270b5ff9189 Mon Sep 17 00:00:00 2001 From: Franck Dary <franck.dary@lis-lab.fr> Date: Sun, 21 Jul 2019 15:24:33 +0200 Subject: [PATCH] Added debug infos --- transition_machine/src/Action.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/transition_machine/src/Action.cpp b/transition_machine/src/Action.cpp index 0dab75d..aec2811 100644 --- a/transition_machine/src/Action.cpp +++ b/transition_machine/src/Action.cpp @@ -33,7 +33,11 @@ bool Action::appliable(Config & config) void Action::undo(Config & config) { + if (ProgramParameters::debug) + fprintf(stderr, "Head = %d, will move back of %d\n", config.getHead(), headMovement); config.moveHead(-headMovement); + if (ProgramParameters::debug) + fprintf(stderr, "Head = %d\n", config.getHead()); for(int i = sequence.size()-1; i >= 0; i--) sequence[i].undo(config, sequence[i]); @@ -73,7 +77,11 @@ void Action::undo(Config & config) void Action::undoOnlyStack(Config & config) { + if (ProgramParameters::debug) + fprintf(stderr, "Head = %d, will move back of %d\n", config.getHead(), headMovement); config.moveHead(-headMovement); + if (ProgramParameters::debug) + fprintf(stderr, "Head = %d\n", config.getHead()); for(int i = sequence.size()-1; i >= 0; i--) { -- GitLab