pub trait SetAbstractDomainOps: Clone + Eq {
// Required methods
fn is_subset(&self, other: &Self) -> bool;
fn intersection_with(&mut self, other: &Self);
fn union_with(&mut self, other: Self);
}Required Methods§
fn is_subset(&self, other: &Self) -> bool
fn intersection_with(&mut self, other: &Self)
fn union_with(&mut self, other: Self)
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".