Ejemplo n.º 1
0
        // Returns new child
        private DBNode LinkNewChildToGraph(DBNode node, IDBOperator op)
        {
            IDBSpaceState newState = op.Apply(module, node.State);

            newState.UpdateIsGoal(module);

            DBNode newNode = new DBNode(DBNode.NodeType.Dependency,
                                        newState, level);

            if (newNode.IsGoal)
            {
                goalCount += 1;
            }

            TreeSizeIncreased = true;
            nodeCount        += 1;

            // Graph bookkeeping
            node.Children.Add(newNode);

            module.RegisterNewNode(newNode, root);

            return(newNode);
        }