Performs a specified copy operation repeatedly. More...
Public Types | |
using | Point |
Defined by the backend. | |
Public Member Functions | |
copy_engine (const prefixes &src, const intervals &dest, field_id_t id) | |
Prepare to copy into intervals. | |
void | operator() (const std::vector< field_id_t > &) const |
Copy fields from src to dest. | |
Static Public Member Functions | |
static auto | point (std::size_t r, std::size_t i) |
Factory function for the Point type. | |
Performs a specified copy operation repeatedly.
using Point |
Defined by the backend.
copy_engine | ( | const prefixes & | src, |
const intervals & | dest, | ||
field_id_t | id ) |
Prepare to copy into intervals.
id | field of type Point referring into src; must not be mutated while using this value |
|
static |
Factory function for the Point
type.
r | row |
i | index (within row) |
void operator() | ( | const std::vector< field_id_t > & | ) | const |
Copy fields from src to dest.