Crate banquo_core
Source 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;
- 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.
- predicate
- Create a
Predicate from a given algebraic expression.
- EvaluationError
- Error produced while evaluating a
Trace using the evaluate function.
- Formula
- Trait representing a temporal logic formula that can evaluate a timed set of system states
called a
Trace.
- evaluate
- Evaluate a
Trace using a given Formula and return the metric value for the earliest
time.