コード例 #1
0
        public void Solve()
        {
            bool      moreRules   = true;
            RulesBase usableRules = new RulesBase();

            usableRules.Rules = new List <Rule>(rDB.Rules);
            fDB.Clear();

            while (moreRules)
            {
                Tuple <Rule, int> ruleToApply = FindUsableRule(usableRules);
                if (ruleToApply != null)
                {
                    IFact newFact = ruleToApply.Item1.Conclusion;
                    newFact.Level = ruleToApply.Item2 + 1;
                    fDB.AddFact(newFact);
                    usableRules.Remove(ruleToApply.Item1);
                }
                else
                {
                    moreRules = false;
                }
            }

            ihm.PrintFacts(fDB.Facts);
        }
コード例 #2
0
    public void Solve()
    {
        // On fait une copie des règle existantes
        // + création d'une base de faits vierge
        bool      moreRules   = true;
        RulesBase usableRules = new RulesBase();

        usableRules.Rules = new List <Rule>(rDB.Rules);
        fDB.Clear();

        // Tant qu'il existe des règles à appliquer
        while (moreRules)
        {
            // Cherche une règle à appeler
            Tuple <Rule, int> t = FindUsableRule(usableRules);

            if (t != null)
            {
                // Applique la règle et ajoute le nouveau fait
                // à la base
                IFact newFact = t.Item1.Conclusion;
                newFact.SetLevel(t.Item2 + 1);
                fDB.AddFact(newFact);

                // Enlève la règle des règles applicables
                usableRules.Remove(t.Item1);
            }
            else
            {
                // PLus de règles possible : on s'arrête
                moreRules = false;
            }
        }

        // Ecriture du résultat
        ihm.PrintFacts(fDB.Facts);
    }