Struct clock_zones::Constraint

pub struct Constraint<B: Bound> { /* fields omitted */ }

A clock constraint bounding the difference between two clocks.

Implementations

impl<B: Bound> Constraint<B>

pub fn left(&self) -> Clock

Returns the left-hand side of the difference.

pub fn right(&self) -> Clock

Returns the right-hand side of the difference.

pub fn bound(&self) -> &B

Returns the bound.

pub fn new(left: impl AnyClock, right: impl AnyClock, bound: B) -> Self

Constructs a new constraint.

pub fn new_le(clock: impl AnyClock, constant: B::Constant) -> Self

Constructs a new constraint of the form clock ≤ constant.

pub fn new_lt(clock: impl AnyClock, constant: B::Constant) -> Self

Constructs a new constraint of the form clock < constant.

pub fn new_ge(clock: impl AnyClock, constant: B::Constant) -> Self

Constructs a new constraint of the form clock ≥ constant.

Panics in case the constant cannot be negated without an overflow.

pub fn new_gt(clock: impl AnyClock, constant: B::Constant) -> Self

Constructs a new constraint of the form clock > constant.

Panics in case the constant cannot be negated without an overflow.

pub fn new_diff_le(
    left: impl AnyClock,
    right: impl AnyClock,
    constant: B::Constant
) -> Self

Constructs a new constraint of the form left - right ≤ constant.

pub fn new_diff_lt(
    left: impl AnyClock,
    right: impl AnyClock,
    constant: B::Constant
) -> Self

Constructs a new constraint of the form left - right < constant.

pub fn new_diff_ge(
    left: impl AnyClock,
    right: impl AnyClock,
    constant: B::Constant
) -> Self

Constructs a new constraint of the form left - right ≥ constant.

Panics in case the constant cannot be negated without an overflow.

pub fn new_diff_gt(
    left: impl AnyClock,
    right: impl AnyClock,
    constant: B::Constant
) -> Self

Constructs a new constraint of the form left - right > constant.

Panics in case the constant cannot be negated without an overflow.