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; }