Ejemplo n.º 1
0
 @Override
 public String toString() {
   String res = "";
   boolean first = true;
   for (final ApplicationTerm t : predicates) {
     if (!first) {
       res += " && ";
     }
     res += t.toString();
     first = false;
   }
   for (final Term t : transitions) {
     if (!first) {
       res += " && ";
     }
     res += t.toStringDirect();
     first = false;
   }
   return '(' + res + ')';
 }