+++ /dev/null
-package com.example.furt.myapplication;
-
-import android.view.View;
-
-public class operandClick implements View.OnClickListener
-{
- Node L;
- operandClick(Node n)
- {
- L=n;
- }
- public void onClick(View view)
- {
- if (DrawActivity.selectedNode.Children.size()!=0) //not a leaf: can't add children
- return;
- if (L==null) //incompatible elimination
- return;
- for (Node n:L.Children) {
- for (Hypothesis hp:n.NodeHP)
- hp.fromNode= DrawActivity.selectedNode; //le ipotesi dei nuovi figli provengono dal nodo in cui stanno per essere inserite
- n.addHPList(DrawActivity.selectedNode.NodeHP);
- DrawActivity.selectedNode.addChild(n);
- }
- DrawActivity.selectedNode.hasFocus=false;
- DrawActivity.selectedNode.Children.get(0).hasFocus=true;
- DrawActivity.selectedNode.hasFocus=false;
- DrawActivity.selectedNode.ruleName=L.ruleName;
- DrawActivity.nmoves++;
- DrawActivity.rootNode.Clean();
- DrawActivity.startDraw();
- }
-}