Crate banquo_core

Re-exports

• pub use crate::trace::Trace;
• pub use crate::metrics::Top;
• pub use crate::metrics::Bottom;
• pub use crate::metrics::Meet;
• pub use crate::metrics::Join;

Modules

• metrics
• operators
  Combinatorial operators for constructing formulas.
• predicate
  System requirements expressed as the inequality ax≤ b.
• trace
  A set of values where each value is associated with a time.

Macros

• predicate
  Create a Predicate from a given algebraic expression.

Structs

• EvaluationError
  Error produced while evaluating a Trace using the evaluate function.

Traits

• Formula
  Trait representing a temporal logic formula that can evaluate a timed set of system states called a Trace.

Functions

• evaluate
  Evaluate a Trace using a given Formula and return the metric value for the earliest time.