Struct StaticIntervalOrder 

pub struct StaticIntervalOrder {
    single_var_order: HashMap<Variable, Vec<Interval>>,
    multi_var_order: HashMap<WeightedSum<Variable>, Vec<Interval>>,
    equal_boundaries: HashMap<IntervalBoundary, IntervalBoundary>,
}

Static order on intervals implementing IntervalOrder for variables and sums of variables

Fields

single_var_order: HashMap<Variable, Vec<Interval>>

Order on intervals for each variable

multi_var_order: HashMap<WeightedSum<Variable>, Vec<Interval>>

Order on intervals multi-variable guards

equal_boundaries: HashMap<IntervalBoundary, IntervalBoundary>

Interval boundaries that are considered equal

Implementations

impl StaticIntervalOrder

pub fn single_var_order(&self) -> &HashMap<Variable, Vec<Interval>>

returns the underlying single_var_order

Trait Implementations

impl Clone for StaticIntervalOrder

fn clone(&self) -> StaticIntervalOrder

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StaticIntervalOrder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DefinesStaticIntervalOrder<Variable> for StaticIntervalOrder

fn check_interval_replaced_by_eq( &self, ib: IntervalBoundary, ) -> IntervalBoundary

This function checks whether the interval needs to be replaced by another one because it is considered equal to another boundary in the order.

This function must be called when converting thresholds in the order.

fn get_intervals<'a>( &'a self, var: &Variable, ) -> Result<&'a Vec<Interval>, IntervalOrderError<Variable>>

fn get_interval_index( &self, var: &Variable, i: &Interval, ) -> Result<usize, IntervalOrderError<Variable>>

fn get_interval_by_index<'a>( &'a self, var: &Variable, idx: usize, ) -> Result<&'a Interval, IntervalOrderError<Variable>>

impl DefinesStaticIntervalOrder<WeightedSum<Variable>> for StaticIntervalOrder

fn get_intervals<'a>( &'a self, var: &WeightedSum<Variable>, ) -> Result<&'a Vec<Interval>, IntervalOrderError<WeightedSum<Variable>>>

fn get_interval_index( &self, var: &WeightedSum<Variable>, i: &Interval, ) -> Result<usize, IntervalOrderError<WeightedSum<Variable>>>

fn get_interval_by_index<'a>( &'a self, var: &WeightedSum<Variable>, idx: usize, ) -> Result<&'a Interval, IntervalOrderError<WeightedSum<Variable>>>

fn check_interval_replaced_by_eq( &self, ib: IntervalBoundary, ) -> IntervalBoundary

Check whether the interval order replaces the interval boundary

impl Display for StaticIntervalOrder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl IntervalOrder for StaticIntervalOrder

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

Convert the order to a boolean expression

impl PartialEq for StaticIntervalOrder

fn eq(&self, other: &StaticIntervalOrder) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for StaticIntervalOrder