Struct mz_compute_client::plan::interpret::PhysicallyMonotonic

pub struct PhysicallyMonotonic(pub bool);

Represents a boolean physical monotonicity property, where the bottom value is true (i.e., physically monotonic) and the top value is false (i.e. not physically monotonic).

Tuple Fields

0: bool

Trait Implementations

impl BoundedLattice for PhysicallyMonotonic

fn top() -> Self

The top element of this lattice (represents the most general approximation).

fn bottom() -> Self

The bottom element of this lattice (represents the most constrained approximation).

impl Clone for PhysicallyMonotonic

fn clone(&self) -> PhysicallyMonotonic

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PhysicallyMonotonic

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PhysicallyMonotonic

fn default() -> PhysicallyMonotonic

Returns the “default value” for a type.

impl Lattice for PhysicallyMonotonic

fn join(&self, other: &Self) -> Self

The smallest element greater than or equal to both arguments.

fn meet(&self, other: &Self) -> Self

The largest element less than or equal to both arguments.

fn join_assign(&mut self, other: &Self)where Self: Sized,

Updates self to the smallest element greater than or equal to both arguments.

fn meet_assign(&mut self, other: &Self)where Self: Sized,

Updates self to the largest element less than or equal to both arguments.

fn advance_by(&mut self, frontier: AntichainRef<'_, Self>)where Self: Sized,

Advances self to the largest time indistinguishable under frontier.

impl PartialEq<PhysicallyMonotonic> for PhysicallyMonotonic

fn eq(&self, other: &PhysicallyMonotonic) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrder for PhysicallyMonotonic

fn less_equal(&self, other: &Self) -> bool

Returns true iff one element is less than or equal to the other.

fn less_than(&self, other: &Self) -> bool

Returns true iff one element is strictly less than the other.

impl Copy for PhysicallyMonotonic

impl Eq for PhysicallyMonotonic

impl StructuralEq for PhysicallyMonotonic

impl StructuralPartialEq for PhysicallyMonotonic