- string parselog;
- /// Backends in which the converter is not used
- std::vector<string> disable;
-
- /// Used by the BFS algorithm
- bool visited;
- /// Used by the BFS algorithm
- std::vector<Command>::iterator previous;
- ///
- std::pair<string, string> const getFromToPrettyname() const {
- return std::pair<string, string>(from->prettyname,
- to->prettyname);
- }