Struct SigmaSet

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

Implementations

impl SigmaSet

pub fn from_rows<'a>( rows: impl Iterator<Item = &'a PatternRowVec>, column: usize, ) -> Self

pub fn complete_sigma(db: &dyn AnalyzerDb, ty: TypeId) -> Self

pub fn is_complete(&self, db: &dyn AnalyzerDb) -> bool

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

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

pub fn difference(&self, other: &Self) -> Self

Trait Implementations

impl Clone for SigmaSet

fn clone(&self) -> SigmaSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SigmaSet

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

Formats the value using the given formatter.

impl IntoIterator for SigmaSet

type Item = ConstructorKind

The type of the elements being iterated over.

type IntoIter = <IndexSet<ConstructorKind> as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for SigmaSet

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

impl StructuralPartialEq for SigmaSet