Closed schillic closed 4 years ago
Result of a discussion with @mforets:
ReachSet
s (suggested name: SparseReachSet
) using type composition.project
function with methods for ReachSet
and SparseReachSet
which, given a list of dimensions, returns a set projected to those dimensions. Dimension 0
for time is possible.
Example
Say that you want to plot dimensions
x3
andx4
and you do a decomposed analysis only for those two dimensions. Then the result will be a 2D flowpipe representingx3
andx4
. However, the projection would try to access dimensions 3 and 4 (because those were the specified dimensions), which do not exist in a 2D flowpipe.Current state
Internally we create
inout_map
s to map to the correct dimensions. But this is poorly integrated and at some places we just inject them.Proposal
Let the
ReachSet
automatically handle these situations. They should receive the information which dimensions are stored and which of them are just taken as universal. (This is essentially what was proposed in #275.) Essentially this internal information is equivalent to theinout_map
, but we can remove some hacks.