Enum ResourceExhausted 

pub enum ResourceExhausted {
    Timeout,
    MaxConflicts,
    MaxMemory,
    MaxDecisions,
    MaxRestarts,
    MaxTheoryChecks,
}

Which resource limit was exhausted

Variants

Timeout

Wall-clock timeout was reached

MaxConflicts

Maximum number of SAT conflicts was reached

MaxMemory

Maximum memory usage was reached

MaxDecisions

Maximum number of decisions was reached

MaxRestarts

Maximum number of restarts was reached

MaxTheoryChecks

Maximum number of theory checks was reached

Trait Implementations

impl Clone for ResourceExhausted

fn clone(&self) -> ResourceExhausted

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceExhausted

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

Formats the value using the given formatter.

impl Display for ResourceExhausted

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

Formats the value using the given formatter.

impl PartialEq for ResourceExhausted

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

impl Eq for ResourceExhausted

impl StructuralPartialEq for ResourceExhausted