Enum AnalysisLimit 

#[non_exhaustive]
pub enum AnalysisLimit {
    HitMaxScore,
    HitMaxSteps,
    TimedOut,
}

The error reported for an unsafe result.

Match with a wildcard arm. New limits may be added in a future version.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

HitMaxScore

The score reached or passed the cap. This covers two cases that both report Score::Infinite: a finite count that crossed max_score, and a pattern the checker proved has unbounded backtracking (seen even with max_score: None).

HitMaxSteps

The step cap was hit.

TimedOut

The timeout was hit.

Trait Implementations

impl Clone for AnalysisLimit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AnalysisLimit

impl Debug for AnalysisLimit

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

Formats the value using the given formatter.

impl Eq for AnalysisLimit

impl Hash for AnalysisLimit

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 AnalysisLimit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AnalysisLimit