Struct NonZeroIntegers 

pub struct NonZeroIntegers;

Type representing the set of non-zero 64-bit integers.

Trait Implementations

impl Clone for NonZeroIntegers

fn clone(&self) -> NonZeroIntegers

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NonZeroIntegers

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

Formats the value using the given formatter.

impl Display for NonZeroIntegers

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

Formats the value using the given formatter.

impl Intersect for NonZeroIntegers

fn intersect(self, _: &NonZeroIntegers) -> 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 NonZeroIntegers

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

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 NonZeroIntegers

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, val: &i64) -> bool

Returns true iff val is contained within the space.

impl Union for NonZeroIntegers

fn union(self, _: &NonZeroIntegers) -> 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 NonZeroIntegers