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