Crate banquo_hybrid_distance

Source

Re-exports§

pub use predicate::HybridDistance;
pub use predicate::HybridPredicate;
pub use predicate::HybridState;

Modules§

automaton
A finite-state automaton with continuous-valued transition guards.
predicate
System requirements associated with specific discrete system modes.