let rec _Traitement_NotDet arguments variable nomVect =
let debut = "\t\tNonDet nd"^nomVect^" = new NonDet("^nomVect^", this.$nom);\n"
in
match arguments with
[] -> debut
^"\t\tthis."^variable^" = ("
^nomVect^".get(nd"^nomVect^".getResponse()).toString());\n"
| ([ Num 0; Num 1 ] | [ Num 1; Num 0 ]) ->
"\t\t"
^nomVect^".add(\"0\");\n\t\t"
^nomVect^".add(\"1\");\n"
^debut^"\t\tthis."
^variable^" = (("
^nomVect^".get( nd"^nomVect^".getResponse()).toString()).compareTo(\"1\") == 0);\n"
| cet_argument::liste_restante ->
match cet_argument with
Num x ->
"\t\t"
^nomVect^".add(\""
^((Nativeint.to_string (Nativeint.of_int x)))
^"\");\n"
^_Traitement_NotDet liste_restante variable nomVect
| Chaine s ->
"\t\t"
^nomVect^".add(\""^s^"\");\n"
^_Traitement_NotDet liste_restante variable nomVect
| _ -> raise Cas_non_traite