Reachability.jl
Reachability.jl copied to clipboard
Support of integer variables
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.
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.
Yes, this was the idea. Good to know :+1: