Method node

gecode/search/cpprofiler/tracer.cpp:98–145

  }

  void
  CPProfilerSearchTracer::node(const EdgeInfo& ei, const NodeInfo& ni) {
    CPProfiler::NodeUID this_node{static_cast<int>(ni.nid()),
        restart,
        static_cast<int>(ni.wid())};
    CPProfiler::NodeUID parent {-1,restart,-1};

    int alt = 0;
    int alts = 0;

    CPProfiler::NodeStatus ns = CPProfiler::NodeStatus::FAILED;
    switch(ni.type()) {
    case NodeType::SOLVED:
      ns = CPProfiler::NodeStatus::SOLVED;
      break;
    case NodeType::BRANCH:
      ns = CPProfiler::NodeStatus::BRANCH;
      alts = static_cast<int>(ni.choice().alternatives());
      break;
    case NodeType::FAILED:
      ns = CPProfiler::NodeStatus::FAILED;
      break;
    default:
      GECODE_NEVER;
    }

    std::string label;
    if(ei) {
      parent = {static_cast<int>(ei.nid()),
                restart,
                static_cast<int>(ei.wid())};

      alt = static_cast<int>(ei.alternative());
      label = ei.string();
    } else {
      alt = restart;
    }

    std::string info;
    if(pgi) {
      info = pgi->getInfo(ni.space());
    }

    auto node = connector->createNode(this_node, parent, alt, alts, ns)
      .set_label(label)
      .set_info(info);
    connector->sendNode(node);
  }

  void
  CPProfilerSearchTracer::done(void) {