Skip to main content

IntervalOrder

taco_interval_ta::interval

Trait IntervalOrder 

Source 
pub trait IntervalOrder {
    // Required method
    fn order_to_boolean_expr<T: Atomic>(&self) -> Vec<BooleanExpression<T>>;
}
Expand description

Common trait of interval orders

Required Methods§

Source

fn order_to_boolean_expr<T: Atomic>(&self) -> Vec<BooleanExpression<T>>

Convert the order to a boolean expression

This method converts the interval order to a boolean expression. This constraint can for example be appended to the resilience condition of a threshold automaton to ensure that the assumed order is satisfied.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§