sdfg::data_flow::NoAccessPattern Class Reference

#include <sdfg/data_flow/pointer_metadata.h>

Inheritance diagram for sdfg::data_flow::NoAccessPattern:

Public Member Functions
bool	empty () const override
	There are no elements in this pattern = no accesses of this type.
bool	every_element_accessed () const override
	Every element that is part of this pattern is actually accessed.
void	replace (const symbolic::Expression old_expression, const symbolic::Expression new_expression) override
void	replace (const symbolic::ExpressionMapping &replacements) override
void	serialize_to_json (nlohmann::json &entry) override
MemoryAccessPatternType	clone () const override
Public Member Functions inherited from sdfg::data_flow::MemoryAccessPattern
virtual	~MemoryAccessPattern ()=default
virtual const math::tensor::TensorLayout *	layout () const
	The structured affine layout (shape/strides/offset, in elements) backing this pattern, or nullptr when the pattern carries no explicit layout (a flat convex span or no access).
MemoryAccessPatternType	ref () const

Static Public Member Functions
static MemoryAccessPatternType	instance ()

Member Function Documentation

clone()

MemoryAccessPatternType sdfg::data_flow::NoAccessPattern::clone ( ) const

overridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

empty()

bool sdfg::data_flow::NoAccessPattern::empty ( ) const

inlineoverridevirtual

There are no elements in this pattern = no accesses of this type.

Implements sdfg::data_flow::MemoryAccessPattern.

every_element_accessed()

bool sdfg::data_flow::NoAccessPattern::every_element_accessed ( ) const

inlineoverridevirtual

Every element that is part of this pattern is actually accessed.

If false, this is just an approximation that may contain elements in between the bounds that are not guaranteed to be accessed Ex. indicating write of a[0] and a[9] as ConvexPattern(10) is approximate. Writes a[0], a[1], .. [9] would be every element being accessed. Bounds should never be violated regardless. We may in the future

Implements sdfg::data_flow::MemoryAccessPattern.

instance()

MemoryAccessPatternType sdfg::data_flow::NoAccessPattern::instance ( )

static

replace() [1/2]

void sdfg::data_flow::NoAccessPattern::replace ( const symbolic::Expression old_expression, const symbolic::Expression new_expression )

inlineoverridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

replace() [2/2]

void sdfg::data_flow::NoAccessPattern::replace ( const symbolic::ExpressionMapping & replacements )

inlineoverridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

serialize_to_json()

void sdfg::data_flow::NoAccessPattern::serialize_to_json ( nlohmann::json & entry )

overridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

---

The documentation for this class was generated from the following file:

• sdfg/include/sdfg/data_flow/pointer_metadata.h