sdfg::analysis::OverwritePolicy Concept Reference

#include <sdfg/analysis/pointer_analyzers.h>

Concept definition

template<typename P>
concept sdfg::analysis::OverwritePolicy = 
    requires(P& p, const std::string& container, const ControlFlowNode* node, const Element* user) {
        p.on_overwrite(container, node, user);
    }