@Override public <E> String visit(Variable<E> v, HashMap<Class, String> data) { String name = v.getName(); String type = data.get(v.getType().getClass()); return TransitionEncoding.variable + ":" + name + ":" + type + ";"; }