banquo-hybrid_distance
| Crates.io | banquo-hybrid_distance |
| lib.rs | banquo-hybrid_distance |
| version | 0.1.0 |
| source | src |
| created_at | 2024-02-07 23:18:22.248476 |
| updated_at | 2024-02-07 23:18:22.248476 |
| description | Hybrid distance implementation for Banquo monitor |
| homepage | |
| repository | https://github.com/cpslab-asu/banquo |
| max_upload_size | |
| id | 1131081 |
| size | 50,616 |
Quinn Thibeault (qthibeault)
documentation
https://docs.rs/banquo
README
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
HybridPredicateHybridStateHybridDistance