public object formules(Communicate comm)
{
String[] formuleTab = new string[]
{
"Rose(d)",
"∀xRose(x)",
"∃xRose(x)",
"∀x(est_blanc(x) ⇒ ∃y(plus_petit_que(x,y) ∧ a_l_est_de(y,x)))"
};
object pythonArray = comm.pythonEmptyArray();
foreach (String str in formuleTab)
{
comm.pythonAddInArray(pythonArray, comm.HandleForm(FormuleFactory.parse(str)));
}
return(pythonArray);
}
public object formules(Communicate comm)
{
String[] formuleTab = new string[]
{
"Rose(d)",
"∀xRose(x)",
"∃xRose(x)",
"∀x(est_blanc(x) ⇒ ∃y(plus_petit_que(x,y) ∧ a_l_est_de(y,x)))"
};
object pythonArray = comm.pythonEmptyArray();
foreach (String str in formuleTab)
{
comm.pythonAddInArray(pythonArray, comm.HandleForm(FormuleFactory.parse(str)));
}
return pythonArray;
}