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.