A space whose instance holds nothing, so that S{} is the only one there is: a space of fixed size, continuous or discrete, which is an empty type (decisions.md [space-storage]). More...

#include <EmrysFilter/Spaces/Space.h>

Concept definition

template<typename S>

concept FixedSizeSpace = std::is_empty_v<S> && std::default_initializable<S>

Emrys::FixedSizeSpace

A space whose instance holds nothing, so that S{} is the only one there is: a space of fixed size,...

Definition Space.h:217

Detailed Description

A space whose instance holds nothing, so that S{} is the only one there is: a space of fixed size, continuous or discrete, which is an empty type (decisions.md [space-storage]).

The free functions that take a space, such as plus(), minus(), and simulate(), take one of these as a template argument instead: minus<State>(a, b). A fixed-size space that stores state is not one, and is passed as an instance.