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.