pub enum PlaceConflictBias {
Overlap,
NoOverlap,
}
Expand description
When checking if a place conflicts with another place, this enum is used to influence decisions
where a place might be equal or disjoint with another place, such as if a[i] == a[j]
.
PlaceConflictBias::Overlap
would bias toward assuming that i
might equal j
and that these
places overlap. PlaceConflictBias::NoOverlap
assumes that for the purposes of the predicate
being run in the calling context, the conservative choice is to assume the compared indices
are disjoint (and therefore, do not overlap).
Variants§
Trait Implementations§
source§impl Clone for PlaceConflictBias
impl Clone for PlaceConflictBias
source§fn clone(&self) -> PlaceConflictBias
fn clone(&self) -> PlaceConflictBias
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for PlaceConflictBias
impl Debug for PlaceConflictBias
source§impl PartialEq<PlaceConflictBias> for PlaceConflictBias
impl PartialEq<PlaceConflictBias> for PlaceConflictBias
source§fn eq(&self, other: &PlaceConflictBias) -> bool
fn eq(&self, other: &PlaceConflictBias) -> bool
self
and other
values to be equal, and is used
by ==
.impl Copy for PlaceConflictBias
impl Eq for PlaceConflictBias
impl StructuralEq for PlaceConflictBias
impl StructuralPartialEq for PlaceConflictBias
Auto Trait Implementations§
impl RefUnwindSafe for PlaceConflictBias
impl Send for PlaceConflictBias
impl Sync for PlaceConflictBias
impl Unpin for PlaceConflictBias
impl UnwindSafe for PlaceConflictBias
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Overlap
: 0 bytesNoOverlap
: 0 bytes