Esempio n. 1
0
 @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 + ";";
 }