Struct Condition

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

Contains the condition of a transition in a crate::FastAutomaton

Implementations

impl Condition

pub fn empty(spanning_set: &SpanningSet) -> Self

pub fn total(spanning_set: &SpanningSet) -> Self

pub fn from_range( range: &RangeSet<Char>, spanning_set: &SpanningSet, ) -> Result<Self, EngineError>

pub fn to_range( &self, spanning_set: &SpanningSet, ) -> Result<RangeSet<Char>, EngineError>

pub fn project_to( &self, current_spanning_set: &SpanningSet, new_spanning_set: &SpanningSet, ) -> Result<Self, EngineError>

pub fn union(&self, cond: &Condition) -> Self

pub fn intersection(&self, cond: &Condition) -> Self

pub fn complement(&self) -> Self

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

pub fn has_intersection(&self, cond: &Condition) -> bool

pub fn has_character( &self, character: &u32, spanning_set: &SpanningSet, ) -> Result<bool, EngineError>

pub fn is_empty(&self) -> bool

pub fn is_total(&self) -> bool

pub fn get_cardinality( &self, spanning_set: &SpanningSet, ) -> Result<u32, EngineError>

Trait Implementations

impl Clone for Condition

fn clone(&self) -> Condition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Condition

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

Formats the value using the given formatter.

impl Display for Condition

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

Formats the value using the given formatter.

impl Hash for Condition

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Condition

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

impl StructuralPartialEq for Condition