Enum term_rewriting::TRSError

pub enum TRSError {
    NotInTRS,
    AlreadyInTRS,
    NondeterministicRule,
    InvalidIndex(usize, usize),
}

The error type for TRS manipulations.

Variants

NotInTRS

Returned when requesting to edit a rule that is not in the TRS.

See TRS::get for more information.

AlreadyInTRS

Returned when attempting to insert a rule into a TRS that already exists.

See TRS::insert for more information.

NondeterministicRule

Returned when attempting to insert a rule with multiple RHSs into a deterministic TRS.

See TRS::insert and TRS::make_deterministic for more information.

InvalidIndex(usize, usize)

Returned when requesting the rule at an index that is out of the range of indicies for the TRS.

See TRS::get_idx for more information.

Trait Implementations

impl Clone for TRSError

fn clone(&self) -> TRSError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for TRSError

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

Formats the value using the given formatter.

impl Debug for TRSError

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

Formats the value using the given formatter.

impl Error for TRSError

fn description(&self) -> &'static str

This method is soft-deprecated.

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

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

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

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

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

fn type_id(&self) -> TypeId where
    Self: 'static, 

Gets the TypeId of self