Пример #1
0
    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);
    }
Пример #2
0
    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;
    }