Lib.rs

› Algorithms › Banquo
#hybrid #distance #temporal #logic #metrics #monitoring #banquo

banquo-hybrid_distance

Hybrid distance implementation for Banquo monitor

by Quinn Thibeault

1 unstable release

0.1.0 Feb 7, 2024

#2373 in Algorithms


Used in banquo

BSD-3-Clause

150KB
2K SLoC

Banquo Hybrid Distance

This crate contains the types and implementations used by the banquo temporal logic monitoring library for supporting the hybrid distance metric. This library is not intended to be used directly, instead you should install the banquo crate instead with the hybrid-distance feature enabled.

Structs

  • HybridPredicate
  • HybridState
  • HybridDistance

Dependencies

~3MB
~51K SLoC