Emrys::Reads< Items > Struct Template Reference

What a model reads, as reads() declares it: the items, each a path into the state or the tag of an input of the call, under a name (decisions.md [model-policies]). More...

#include <EmrysFilter/Models/Policies.h>

Public Types
using	InputSpace = Composite<typename Items::NameType...>
	The input space: the Composite of the names, in order.
template<std::size_t I>
using	Item = std::tuple_element_t<I, std::tuple<Items...>>
	The item at position I.

Static Public Attributes
static constexpr std::size_t	Count = sizeof...(Items)
	the number of items

Detailed Description

template<typename... Items>
struct Emrys::Reads< Items >

What a model reads, as reads() declares it: the items, each a path into the state or the tag of an input of the call, under a name (decisions.md [model-policies]).

The model's input space is the Composite of the items' names, in the order given, and the function reads its input vector with block<Name>(in, x). An item is a path value, path<Ownship, Position> or a bare tag's value, read under its last tag, or on<Name>(path<...>), read under Name, so that two items whose paths end in one tag can be told apart. A path of one tag that the state lacks names an input of the call, given as an uncertain input over that tag's space or as sure<Tag>().

Template Parameters

Items

the items, as internal::ReadItem

See also

reads(), writes()

---

The documentation for this struct was generated from the following file:

• EmrysFilter/Models/Policies.h