Function sequant::eval::opened_instance

• Defined in File peak_profile.hpp

Function Documentation

inline std::optional<LoopInstance> sequant::eval::opened_instance(OccurrenceRec const &opener, Index const &ix, BatchModeType kind)

The loop instance an occurrence opens on mode ix with kind kind, read off the opener’s own stamps: a Contracted open is the reduced_slot entry for ix, an External open the loop_slot of ix's carried position. Nullopt when the opener carries no stamp for it.