Struct clock_zones::Constraint [−][src]
pub struct Constraint<B: Bound> { /* fields omitted */ }
A clock constraint bounding the difference between two clocks.
Implementations
impl<B: Bound> Constraint<B>
[src]
impl<B: Bound> Constraint<B>
[src]pub fn left(&self) -> Clock
[src]
Returns the left-hand side of the difference.
pub fn right(&self) -> Clock
[src]
Returns the right-hand side of the difference.
pub fn bound(&self) -> &B
[src]
Returns the bound.
pub fn new(left: impl AnyClock, right: impl AnyClock, bound: B) -> Self
[src]
Constructs a new constraint.
pub fn new_le(clock: impl AnyClock, constant: B::Constant) -> Self
[src]
Constructs a new constraint of the form clock ≤ constant
.
pub fn new_lt(clock: impl AnyClock, constant: B::Constant) -> Self
[src]
Constructs a new constraint of the form clock < constant
.
pub fn new_ge(clock: impl AnyClock, constant: B::Constant) -> Self
[src]
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
[src]
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
[src]
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
[src]
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
[src]
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
[src]
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.
Auto Trait Implementations
impl<B> RefUnwindSafe for Constraint<B> where
B: RefUnwindSafe,
impl<B> RefUnwindSafe for Constraint<B> where
B: RefUnwindSafe,
impl<B> Send for Constraint<B> where
B: Send,
impl<B> Send for Constraint<B> where
B: Send,
impl<B> Sync for Constraint<B> where
B: Sync,
impl<B> Sync for Constraint<B> where
B: Sync,
impl<B> Unpin for Constraint<B> where
B: Unpin,
impl<B> Unpin for Constraint<B> where
B: Unpin,
impl<B> UnwindSafe for Constraint<B> where
B: UnwindSafe,
impl<B> UnwindSafe for Constraint<B> where
B: UnwindSafe,