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", so this trait is not object safe.

Implementors§