Template Struct DiscreteVectorSpace¶

Defined in File space_type.h

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