CHERIoT RTOS: ds::linked_list::cell::HasCellOperationsReset Concept Reference

CHERIoT RTOS

A compartmentalised RTOS for CHERIoT hardware

Loading...

Searching...

No Matches

ds
linked_list
cell
HasCellOperationsReset

Concept definition

template<typename T>

concept HasCellOperationsReset = HasCellOperations<T> && HasReset<T>

ds::linked_list::cell::HasCellOperationsReset

Definition linked_list.h:51

ds::linked_list::cell::HasCellOperations

The primitive, required, abstract interface to our cons cells.

Definition linked_list.h:30

ds::linked_list::cell::HasReset

Reset a cell to a singleton ring.

Definition linked_list.h:46

Detailed Description

Definition at line 51 of file linked_list.h.