Function sequant::eval::assert_valid_cell_table

Function Documentation

inline void sequant::eval::assert_valid_cell_table(CellTable const &table, ScopeBlock const &root, std::function<std::size_t(LoopKey const&)> const &n_batches_of = {})

Validates table against root and throws on any violation.

Parameters:
  • table – the cell table to check

  • root – the schedule’s root block, walked for the visibility rules

  • n_batches_of – optional batch count per loop instance; when empty the multiplicity rule is skipped

Throws:

Exception – listing every violation validate_cell_table reports