private String typeToString(Formule_Type type)
{
switch (type)
{
case Formule_Type.constante:
return("constante");
case Formule_Type.variable:
return("variable");
case Formule_Type.predicat:
return("predicat");
case Formule_Type.neg:
return("negation");
case Formule_Type.and:
return("and");
case Formule_Type.or:
return("or");
case Formule_Type.impl:
return("imply");
case Formule_Type.forall:
return("forall");
case Formule_Type.exists:
return("exists");
default:
return("error typeToString");
}
}
public Formule(Formule_Type type, String nom, List <Formule> args)
{
this.type = type;
this.nom = nom;
this.args = args;
}
