Method createNode

gecode/search/cpprofiler/connector.hpp:402–406

  }

  inline Node
  Connector::createNode(NodeUID node, NodeUID parent,
                        int alt, int kids, NodeStatus status) {
    return Node(node, parent, alt, kids, status);
  }
  
}}