Struct Limits 

pub struct Limits {
    pub states: u64,
    pub time: Duration,
    pub memory_bytes: u64,
    pub repeat: u64,
    pub length: u64,
    pub depth: u32,
    pub enumerate: u64,
}

Configured limits. All fields are public so they can be reported verbatim in results.

Fields

states: u64

Maximum automaton / product states explored (RX-L001).

time: Duration

Wall-clock budget (RX-L002).

memory_bytes: u64

Estimated memory ceiling in bytes (RX-L003).

repeat: u64

Maximum counted-repetition expansion (RX-L004).

length: u64

Maximum pattern length in Unicode scalar values (RX-L005).

depth: u32

Maximum nesting depth (RX-L006).

enumerate: u64

Maximum enumerated items for witnesses / synthesis (RX-L007).

Trait Implementations

impl Clone for Limits

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Limits

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

Formats the value using the given formatter.

impl Default for Limits

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Limits

impl PartialEq for Limits

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Limits