Template Struct DiscreteVectorSpace

Struct Documentation

template<uint_t SpaceSize, typename T = uint_t>
struct DiscreteVectorSpace

Public Types

typedef std::vector<T> space_item_type

item_t

Public Static Attributes

static constexpr uint_t size = SpaceSize

size. The number of members in the space