Trait HasAssociatedIntervals 

pub trait HasAssociatedIntervals:
    Hash
    + Eq
    + Display
    + Debug
    + Clone { }

Trait marking types that can be abstracted by intervals

This trait is implemented by types that have a set of intervals associated with them, e.g., Variable and WeightedSum<Variable> that appear in guards of the automaton.

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.

Implementations on Foreign Types

impl HasAssociatedIntervals for Variable

Mark Variable as having associated intervals, as they appear in guards SingleVariableGuards

impl HasAssociatedIntervals for WeightedSum<Variable>

Mark WeightedSum<Variable> as having associated intervals as they appear in guards MultiVariableGuards

Implementors