- case 0 :
- printf("(");
- xbt_automaton_exp_label_display(label->u.or_and.left_exp);
- printf(" || ");
- xbt_automaton_exp_label_display(label->u.or_and.right_exp);
- printf(")");
- break;
- case 1 :
- printf("(");
- xbt_automaton_exp_label_display(label->u.or_and.left_exp);
- printf(" && ");
- xbt_automaton_exp_label_display(label->u.or_and.right_exp);
- printf(")");
- break;
- case 2 :
- printf("(!");
- xbt_automaton_exp_label_display(label->u.exp_not);
- printf(")");
- break;
- case 3 :
- printf("(%s)",label->u.predicat);
- break;
- case 4 :
- printf("(1)");
- break;
+ case 0:
+ xbt_automaton_exp_label_display(label->u.or_and.left_exp);
+ printf(" || ");
+ xbt_automaton_exp_label_display(label->u.or_and.right_exp);
+ break;
+ case 1:
+ xbt_automaton_exp_label_display(label->u.or_and.left_exp);
+ printf(" && ");
+ xbt_automaton_exp_label_display(label->u.or_and.right_exp);
+ break;
+ case 2:
+ printf("!");
+ xbt_automaton_exp_label_display(label->u.exp_not);
+ break;
+ case 3:
+ printf("%s", label->u.predicat);
+ break;
+ case 4:
+ printf("1");
+ break;
+ default:
+ break;