Struct NonNegativeIntegers

pub struct NonNegativeIntegers;

Type representing the set of unsigned 64-bit integers.

Trait Implementations

impl Clone for NonNegativeIntegers

fn clone(&self) -> NonNegativeIntegers

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NonNegativeIntegers

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

Formats the value using the given formatter.

impl Display for NonNegativeIntegers

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

Formats the value using the given formatter.

impl Intersect for NonNegativeIntegers

fn intersect(self, _: &NonNegativeIntegers) -> Self

Return the smallest space enclosing self and other of type Self.

fn intersect_many(self, other_spaces: &[S]) -> Self

where Self: Sized,

Return the smallest space enclosing self and all other_spaces of type Self.

impl OrderedSpace for NonNegativeIntegers

fn min(&self) -> Option<i64>

Returns the value of the space’s minimum value, if it exists.

fn inf(&self) -> Option<Self::Value>

Return the infimum of the space.

fn max(&self) -> Option<Self::Value>

Returns the value of the dimension’s supremum, if it exists.

fn sup(&self) -> Option<Self::Value>

Returns the supremum of the space.

fn is_lower_bounded(&self) -> bool

Returns true iff self has a well-defined infimum.

fn is_upper_bounded(&self) -> bool

Returns true iff self has a well-defined supremum.

fn is_bounded(&self) -> bool

Returns true iff self has a well-defined minimum and maximum.

impl Space for NonNegativeIntegers

const DIM: usize = 1usize

The dimensionality of the space.

type Value = i64

The data representation of elements of the space.

fn card(&self) -> Card

Return the number of elements in the set comprising the space.

fn contains(&self, _: &i64) -> bool

Returns true iff val is contained within the space.

impl Union for NonNegativeIntegers

fn union(self, _: &NonNegativeIntegers) -> Self

Return a space enclosing self and other of type Self.

fn union_many(self, other_spaces: &[S]) -> Self

where Self: Sized,

Return a space enclosing self and all other_spaces of type Self.

impl Copy for NonNegativeIntegers