Enum rsmt2::UnexSmtRes

pub enum UnexSmtRes {
    Unsupported,
    Error(String),
    IoError(Error),
}

Unexpected result for an SMT Lib 2 command.

Variants

Unsupported

An unsupported command was issued.

Error(String)

A command produced an error.

IoError(Error)

An input/output error occured.

Trait Implementations

impl Debug for UnexSmtRes

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for UnexSmtRes

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.