Enum spaces::Card

pub enum Card {
    Null,
    Finite(usize),
    Infinite,
}

Measure of the cardinality (#) of a set.

Card is used to represent the number of possible values that are contained by a space. Take, for example, a 2-dimensional space, each with a finite set of values. In this case we have the following:

use spaces::{Space, Card};
use spaces::product::PairSpace;
use spaces::discrete::Ordinal;

let d1 = Ordinal::new(5);
let d2 = Ordinal::new(10);
let space = PairSpace::new(d1, d2);

assert_eq!(space.card(), Card::Finite(50));

Internally, this above code does the following:

use spaces::Card;

let s1 = Card::Finite(5);
let s2 = Card::Finite(10);

assert_eq!(s1*s2, Card::Finite(50));

Variants

Null

Finite(usize)

Infinite

Trait Implementations

impl Clone for Card

fn clone(&self) -> Card

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Card

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Card

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Into<usize> for Card

fn into(self) -> usize

Converts this type into the (usually inferred) input type.

impl Mul<Card> for Card

type Output = Card

The resulting type after applying the * operator.

fn mul(self, rhs: Card) -> Card

Performs the * operation.

impl PartialEq<Card> for Card

fn eq(&self, other: &Card) -> 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 Serialize for Card

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Card

impl Eq for Card

impl StructuralEq for Card

impl StructuralPartialEq for Card