mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java

   1 package com.example.furt.myapplication;
   2
   3 //Regole di introduzione per la deduzione top-down: la formula è sempre applicabile, per cui la regola si limita
   4 //a chiamare la callback e restituire il sottoalbero di nodi conseguente all'applicazione della regola
   5 public class RuleIntroduction implements IntroductionRule
   6 {
   7     int priority;
   8     Node tempRule;
   9     String ruleName;
  10     public RuleIntroduction(String name,int p)
  11     {
  12         ruleName=name; priority=p;
  13     }
  14     public String getName()
  15     {
  16         return ruleName;
  17     }
  18     public Node createNodes(askFormula ask)
  19     {
  20         Formula C=ask.Ask();
  21         for (Node n:tempRule.Children)
  22         {
  23             if (n.F.toString().equals(" ")) //undefined formula
  24                 n.F=C;
  25             n.ruleName=ruleName;
  26         }
  27         tempRule.ruleName=ruleName;
  28         return tempRule;
  29     }
  30     public int getPriority()
  31     {
  32         return priority;
  33     }
  34 }