Ejemplo n.º 1
0
        private List <To> getResolutionByRightDisjunction(int rightIndex)
        {
            Disjunction disjunction  = (Disjunction)currentEquation.getRight().getChildren()[rightIndex];
            To          nextEquation = (To)currentEquation.deepCopy();

            nextEquation.getRight().getChildren().RemoveAt(rightIndex);
            nextEquation.getRight().getChildren().InsertRange(rightIndex, new List <INode> {
                disjunction.getLeft(), disjunction.getRight()
            });

            return(new List <To>()
            {
                nextEquation
            });
        }
Ejemplo n.º 2
0
        private List <To> getResolutionByLeftDisjunction(int leftIndex)
        {
            Disjunction disjunction = (Disjunction)currentEquation.getLeft().getChildren()[leftIndex];
            INode       nextLeft    = disjunction.getLeft();
            INode       nextRight   = disjunction.getRight();

            // In this case we have two children.
            To nextLeftEquation  = (To)currentEquation.deepCopy();
            To nextRightEquation = (To)currentEquation.deepCopy();

            nextLeftEquation.getLeft().getChildren().RemoveAt(leftIndex);
            nextRightEquation.getLeft().getChildren().RemoveAt(leftIndex);

            nextLeftEquation.getLeft().getChildren().Insert(leftIndex, nextLeft);
            nextRightEquation.getLeft().getChildren().Insert(leftIndex, nextRight);

            return(new List <To>()
            {
                nextLeftEquation, nextRightEquation
            });
        }