Enum isla_axiomatic::graph::GraphError

pub enum GraphError {
    SmtParseError,
    InterpretError(InterpretError),
}

Variants

SmtParseError

Will be caused if we cannot parse the SMT solver (z3) output as a valid S-expression model.

InterpretError(InterpretError)

Will be caused if we fail to interpret part of the model.

Trait Implementations

impl Clone for GraphError

fn clone(&self) -> GraphError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GraphError

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

Formats the value using the given formatter.

impl Display for GraphError

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

Formats the value using the given formatter.

impl Error for GraphError

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

The lower-level source of this error, if any.

pub fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

pub fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting