Reachability.jl icon indicating copy to clipboard operation
Reachability.jl copied to clipboard

Support of integer variables

Open schillic opened this issue 7 years ago • 2 comments

Sometimes it is helpful to have discrete numbers, for instance to count the number of times a location was visited. We run into numerical issues if we handle such variables just as floats.

schillic avatar Oct 18 '18 09:10 schillic

this feature is about using vectors in the state space that can have a mix integer components and floating point components? it can be done efficiently with an VectorOfArrays with 2 subarrays, one for the integer components and a second subarray with the floating point components.

mforets avatar Oct 18 '18 23:10 mforets

Yes, this was the idea. Good to know :+1:

schillic avatar Oct 19 '18 04:10 schillic