Struct normal_form::Coloring

pub struct Coloring<S: Set + ?Sized> { /* private fields */ }

Coloring.

A coloring for the set S is a list (W_1, W_2, ..., W_m) such that { W_1, W_2, ..., W_m } is a coloring of S. Each W_i is called a cell of the coloring.

Implementations

impl<S: Set + ?Sized> Coloring<S>

pub fn new(set: &S) -> Self

Creates a new unit coloring of the input set.

pub fn from_map<C: Ord>(set: &S, map: &S::Map<C>) -> Self

Creates a new coloring from a map associating each item to an initial color of type C.

pub fn color_index_of(&self, item: &S::Item) -> Option<usize>

pub fn colors(&self) -> Colors<'_, S>

pub fn len(&self) -> usize

Returns the number of colors in the coloring.

pub fn is_empty(&self) -> bool

pub fn is_unit(&self) -> bool

Checks if the coloring is a unit coloring.

pub fn is_discrete(&self) -> bool

pub fn color_start(&self, i: usize) -> Option<usize>

pub fn get(&self, i: usize) -> Option<&[S::Item]>

Returns the ith cell of the coloring, partitioning the given input set.

Trait Implementations

impl<S: Set + ?Sized> Clone for Coloring<S>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<S: Set + ?Sized> Debug for Coloring<S>where S::Item: Debug,

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

Formats the value using the given formatter.

impl<S: Set + ?Sized> PartialEq<Coloring<S>> for Coloring<S>

fn eq(&self, other: &Self) -> 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<S: Set + ?Sized> Eq for Coloring<S>