namespace clover {
class platform : public _cl_platform_id,
public adaptor_range<
- derefs, std::vector<ref_ptr<device>> &> {
+ derefs, std::vector<intrusive_ptr<device>> &> {
public:
platform();
operator=(const platform &platform) = delete;
protected:
- std::vector<ref_ptr<device>> devs;
+ std::vector<intrusive_ptr<device>> devs;
};
}