Struct MaxUpdates

pub struct MaxUpdates { /* private fields */ }

Stop after at most the provided number of updates for a given ɣ.

Implementations

impl MaxUpdates

pub const DEFAULT_MAX_UPDATES: usize = 18_446_744_073_709_551_615usize

Trait Implementations

impl Clone for MaxUpdates

fn clone(&self) -> MaxUpdates

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MaxUpdates

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

Formats the value using the given formatter.

impl Default for MaxUpdates

fn default() -> Self

Returns the “default value” for a type.

impl Display for MaxUpdates

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

Formats the value using the given formatter.

impl From<Option<usize>> for MaxUpdates

fn from(max_updates: Option<usize>) -> Self

Converts to this type from the input type.

impl From<usize> for MaxUpdates

fn from(max_updates: usize) -> Self

Converts to this type from the input type.

impl PredicateReflection for MaxUpdates

fn parameters<'a>(&'a self) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a>

Parameters of the current Predicate.

fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a>

Nested Predicates of the current Predicate.