Method getSolverID

cp-profiler/src/cpprofiler/solver_data.hh:74–77

    }

    SolverID getSolverID(NodeID nid) const
    {
        return m_id_map.getUID(nid);
    }

    /// Get the reasons (constraint ids) for the nogood at node `nid`
    const std::vector<int> *getContribConstraints(NodeID nid) const