Struct clock_zones::Dbm [−][src]
pub struct Dbm<B: Bound, L: Layout<B> = LinearLayout<B>> { /* fields omitted */ }
An implementation of Zone as difference bound matrix.
Uses LinearLayout as the default storage layout.
Trait Implementations
impl<B: Bound, L: Layout<B>> StructuralEq for Dbm<B, L>
[src]
impl<B: Bound, L: Layout<B>> StructuralEq for Dbm<B, L>
[src]impl<B: Bound, L: Layout<B>> StructuralPartialEq for Dbm<B, L>
[src]
impl<B: Bound, L: Layout<B>> StructuralPartialEq for Dbm<B, L>
[src]impl<B: Bound, L: Layout<B>> Zone<B> for Dbm<B, L>
[src]
impl<B: Bound, L: Layout<B>> Zone<B> for Dbm<B, L>
[src]fn new_unconstrained(num_variables: usize) -> Self
[src]
fn new_zero(num_variables: usize) -> Self
[src]
fn with_constraints<U>(num_variables: usize, constraints: U) -> Self where
U: IntoIterator<Item = Constraint<B>>,
[src]
U: IntoIterator<Item = Constraint<B>>,
fn num_variables(&self) -> usize
[src]
fn num_clocks(&self) -> usize
[src]
fn get_bound(&self, left: impl AnyClock, right: impl AnyClock) -> &B
[src]
fn is_empty(&self) -> bool
[src]
fn add_constraint(&mut self, constraint: Constraint<B>)
[src]
fn add_constraints<U>(&mut self, constraints: U) where
U: IntoIterator<Item = Constraint<B>>,
[src]
U: IntoIterator<Item = Constraint<B>>,
fn intersect(&mut self, other: &Self)
[src]
fn future(&mut self)
[src]
fn past(&mut self)
[src]
fn reset(&mut self, clock: Variable, value: B::Constant)
[src]
fn is_unbounded(&self, clock: impl AnyClock) -> bool
[src]
fn get_upper_bound(&self, clock: impl AnyClock) -> Option<B::Constant>
[src]
fn get_lower_bound(&self, clock: impl AnyClock) -> Option<B::Constant>
[src]
fn is_satisfied(&self, constraint: Constraint<B>) -> bool
[src]
fn includes(&self, other: &Self) -> bool
[src]
fn resize(&self, num_variables: usize) -> Self
[src]
Auto Trait Implementations
impl<B, L> RefUnwindSafe for Dbm<B, L> where
B: RefUnwindSafe,
L: RefUnwindSafe,
impl<B, L> RefUnwindSafe for Dbm<B, L> where
B: RefUnwindSafe,
L: RefUnwindSafe,
impl<B, L> UnwindSafe for Dbm<B, L> where
B: UnwindSafe,
L: UnwindSafe,
impl<B, L> UnwindSafe for Dbm<B, L> where
B: UnwindSafe,
L: UnwindSafe,