sdfg::analysis::PointerUsedPolicy Concept Reference

#include <sdfg/analysis/pointer_analyzers.h>

Concept definition

template<typename P>
concept sdfg::analysis::PointerUsedPolicy = 
    requires(P& p, const std::string& container, const ControlFlowNode* node, const data_flow::Memlet* user) {
        p.on_write_via(container, node, user);
        p.on_read_via(container, node, user);
    }