mainActivity/app/src/main/java/com/example/furt/myapplication/operandClick.java

   1 package com.example.furt.myapplication;
   2
   3 import android.view.View;
   4
   5 public class operandClick implements View.OnClickListener
   6 {
   7     Node L;
   8     operandClick(Node n)
   9     {
  10         L=n;
  11     }
  12     public void onClick(View view)
  13     {
  14         if (DrawActivity.selectedNode.Children.size()!=0) //not a leaf: can't add children
  15             return;
  16         if (L==null) //incompatible elimination
  17             return;
  18         for (Node n:L.Children) {
  19             for (Hypothesis hp:n.NodeHP)
  20                 hp.fromNode= DrawActivity.selectedNode; //le ipotesi dei nuovi figli provengono dal nodo in cui stanno per essere inserite
  21             n.addHPList(DrawActivity.selectedNode.NodeHP);
  22             DrawActivity.selectedNode.addChild(n);
  23         }
  24         DrawActivity.selectedNode.hasFocus=false;
  25         DrawActivity.selectedNode.Children.get(0).hasFocus=true;
  26         DrawActivity.selectedNode.hasFocus=false;
  27         DrawActivity.selectedNode.ruleName=L.ruleName;
  28         DrawActivity.nmoves++;
  29         DrawActivity.rootNode.Clean();
  30         DrawActivity.startDraw();
  31     }
  32 }