Exemplo n.º 1
0
 @Override
 public Void visit(KLabelConstant t, Void _) {
     builder.append("#label{\"");
     builder.append(t.getLabel());
     builder.append("\"}");
     return null;
 }
Exemplo n.º 2
0
 public void printLabel(Term t) {
     if (t instanceof Variable) {
         Variable v = (Variable) t;
         builder.append(v.getName());
     } else {
         KLabelConstant l = (KLabelConstant)t;
         builder.append('`');
         builder.append(l.getLabel());
         builder.append('`');
     }
 }