• Alessio Netti's avatar
    DA: filter for SensorNavigator and binary search fixes · f2970bda
    Alessio Netti authored
    - a "filter" configuration parameter has been added, which is used
    to discard sensor names when building the sensor navigator
    - Can be used to e.g. build a sensor navigator in a collectagent
    using only the sensors that are directly collected by it
    - Implemented a switch to select leftmost/rightmost binary search
    in CacheEntry, used for the QueryEngine