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.