Enum SampleResult 

pub enum SampleResult {
    Sampled(SmtString),
    Empty,
    MaxDepth,
}

The result of sampling from a regex or automaton.

Variants

Sampled(SmtString)

Founda word in the language

Empty

The language tried to sample from is empty

MaxDepth

Maximum depth was reached without finding a word.

Implementations

impl SampleResult

pub fn unwrap(self) -> SmtString

Unwraps the sampled string. Panics if the sampling was not successfull.

pub fn success(&self) -> bool

Return true if sampling was successfull and this result carries a value. Othwerwise returns false.

Trait Implementations

impl Clone for SampleResult

fn clone(&self) -> SampleResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SampleResult

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

Formats the value using the given formatter.

impl PartialEq for SampleResult

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

impl StructuralPartialEq for SampleResult