Banquo Core

This crate contains the core types and implementations used by the banquo temporal logic monitoring library. This library is not intended to be used directly, instead you should install the banquo crate instead.

Structs

• Trace
• Predicate
• Not
• And
• Or
• Implies
• Next
• Always
• Eventually
• Until

Traits

• Formula
• Top
• Bottom
• Meet
• Join