ResolvedReads.h File Reference

How a model's reads() meet a state and a call, all internal (decisions.md [model-policies], [tag-addressing]): ReadBlocks, the blocks of the state a model reads; and ResolvedReads, a model's reads() resolved against a state space and the call's arguments, which sorts the items into blocks of the state and inputs of the call, builds the model's input space from both, and gathers the function's input vector once per evaluation. More...

#include <array>
#include <cstddef>
#include <tuple>
#include <type_traits>
#include <utility>
#include <unsupported/Eigen/AutoDiff>
#include <EmrysFilter/Core/Macros.h>
#include <EmrysFilter/Models/MeasurementModel.h>
#include <EmrysFilter/Models/Policies.h>
#include <EmrysFilter/Spaces/Composite.h>
#include <EmrysFilter/Spaces/Indexing.h>
#include <EmrysFilter/Spaces/Space.h>
#include <EmrysFilter/Spaces/Subspace.h>
#include <EmrysFilter/Spaces/TagPath.h>

Go to the source code of this file.

Detailed Description

How a model's reads() meet a state and a call, all internal (decisions.md [model-policies], [tag-addressing]): ReadBlocks, the blocks of the state a model reads; and ResolvedReads, a model's reads() resolved against a state space and the call's arguments, which sorts the items into blocks of the state and inputs of the call, builds the model's input space from both, and gathers the function's input vector once per evaluation.

MeasurementReads.h and ProcessModel.h build their resolvers on it. Read MeasurementReads.h next.