A partition with a field for dynamically resizing it. More...
Public Member Functions | |
| void | resize () |
| Apply sizes stored in the field. | |
Public Member Functions inherited from with_size | |
| auto | sizes () |
| Access the sizes. | |
Public Member Functions inherited from prefixes | |
| template<class F > | |
| prefixes (region_base &r, F f) | |
| Derive row lengths from a field accessor. | |
| template<class F > | |
| void | update (F) |
| Has the same effect as the constructor, reusing the same region_base. | |
Public Member Functions inherited from partition | |
| Color | colors () const |
| Get the number of subsets (also the number of rows). | |
| template<topo::single_space > | |
| partition & | get_partition () |
| Convenience function for simple topologies with just one partition. | |
Public Member Functions inherited from partition | |
Additional Inherited Members | |
Public Attributes inherited from with_size | |
| resize::policy | growth |
| Automatic growth control. | |
A partition with a field for dynamically resizing it.
| void resize | ( | ) |
Apply sizes stored in the field.