Struct spaces::discrete::Integers

pub struct Integers;

Type representing the set of integers, Z.

Trait Implementations

impl Space for Integers

type Value = i64

The data representation of the space.

fn dim(&self) -> Dim

Return the dimensionality of the space.

fn card(&self) -> Card

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

impl BoundedSpace for Integers

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

Returns the value of the dimension's infimum, if it exists.

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

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

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

Returns true iff val lies within the dimension's bounds (closed).

fn is_left_bounded(&self) -> bool

Returns true iff self has a finite infimum.

fn is_right_bounded(&self) -> bool

Returns true iff self has a finite supremum.

fn is_compact(&self) -> bool

Returns true iff self has finite bounds in both directions.

impl Union<Integers> for Integers

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

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

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

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

impl Intersection<Integers> for Integers

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

fn clone(&self) -> Integers

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Integers

impl Display for Integers

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

Formats the value using the given formatter.

impl Debug for Integers

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

Formats the value using the given formatter.