virtual std::string dot_string() const;
/* Moves the application toward a path that was already explored, but don't change the current transition */
virtual std::string dot_string() const;
/* Moves the application toward a path that was already explored, but don't change the current transition */