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. | |
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.