Enum FinderError 

pub enum FinderError {
    UnsatAtBound,
    ExceededMaxBound,
    ResourceLimit,
    InvalidConfig(String),
}

Error during finite model finding

Variants

UnsatAtBound

Unsatisfiable at the current bound

ExceededMaxBound

Exceeded maximum universe size bound

ResourceLimit

Resource limit exceeded

InvalidConfig(String)

Invalid configuration

Trait Implementations

impl Clone for FinderError

fn clone(&self) -> FinderError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FinderError

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

Formats the value using the given formatter.

impl Display for FinderError

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

Formats the value using the given formatter.

impl Error for FinderError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.