Struct SkelFinSet

pub struct SkelFinSet(/* private fields */);

A skeletal finite set.

The elements of the skeletal finite set of size n are the numbers 0..n (excluding n).

Implementations

impl SkelFinSet

pub fn insert(&mut self) -> usize

Adds the (unique possible) next element to the skeletal finite set.

pub fn extend(&mut self, n: usize) -> Range<usize>

Adds the next n elements to the skeletal finite set.

Trait Implementations

impl Clone for SkelFinSet

fn clone(&self) -> SkelFinSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SkelFinSet

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

Formats the value using the given formatter.

impl Default for SkelFinSet

fn default() -> Self

Returns the “default value” for a type.

impl FinSet for SkelFinSet

fn iter(&self) -> impl Iterator<Item = usize>

Iterates over elements of the finite set.

fn len(&self) -> usize

The size of the finite set.

fn is_empty(&self) -> bool

Is the set empty?

impl From<SkelFinSet> for usize

fn from(value: SkelFinSet) -> Self

Converts to this type from the input type.

impl From<usize> for SkelFinSet

fn from(value: usize) -> Self

Converts to this type from the input type.

impl IntoIterator for SkelFinSet

type Item = usize

The type of the elements being iterated over.

type IntoIter = Range<usize>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for SkelFinSet

fn eq(&self, other: &SkelFinSet) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl RefCast for SkelFinSet

type From = usize

fn ref_cast(_from: &Self::From) -> &Self

fn ref_cast_mut(_from: &mut Self::From) -> &mut Self

impl Set for SkelFinSet

type Elem = usize

Type of elements of the set.

fn contains(&self, x: &usize) -> bool

Does the set contain the element x?

impl Copy for SkelFinSet

impl Eq for SkelFinSet

impl StructuralPartialEq for SkelFinSet