Enum HomomorphismError 

pub enum HomomorphismError {
    ArityMismatch {
        symbol: Symbol,
        first: usize,
        second: usize,
    },
    ConflictingSourceTerm {
        symbol: Symbol,
    },
    MissingVariable {
        symbol: Symbol,
        variable: usize,
    },
    DuplicateVariable {
        symbol: Symbol,
        variable: usize,
    },
    OutOfRangeVariable {
        symbol: Symbol,
        variable: usize,
        arity: usize,
    },
    UnmappedSymbol {
        symbol: Symbol,
    },
    ApplyVariableOutOfRange {
        variable: usize,
        arity: usize,
    },
}

Error returned when constructing or applying a homomorphism.

Variants

ArityMismatch

The same source symbol was registered twice with different source arity.

Fields

symbol: Symbol

Source symbol whose arity conflicts.

first: usize

Previously registered arity.

second: usize

Newly requested arity.

ConflictingSourceTerm

The same source symbol was registered twice with different image terms.

Fields

symbol: Symbol

Source symbol whose image term conflicts.

MissingVariable

A required variable does not occur in the image term.

Fields

symbol: Symbol

Source symbol being registered.

variable: usize

Missing source-child variable.

DuplicateVariable

A variable occurs more than once in the image term.

Fields

symbol: Symbol

Source symbol being registered.

variable: usize

Duplicated source-child variable.

OutOfRangeVariable

The image term mentions a variable outside the source arity.

Fields

symbol: Symbol

Source symbol being registered.

variable: usize

Variable index found in the image.

arity: usize

Source arity of the symbol.

UnmappedSymbol

A source tree contains a symbol for which no image term was registered.

Fields

symbol: Symbol

Unmapped source symbol.

ApplyVariableOutOfRange

Applying a homomorphism found a variable that has no corresponding child.

Fields

variable: usize

Variable index in the image term.

arity: usize

Number of mapped source children available.

Trait Implementations

impl Clone for HomomorphismError

fn clone(&self) -> HomomorphismError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HomomorphismError

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

Formats the value using the given formatter.

impl Display for HomomorphismError

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

Formats the value using the given formatter.

impl Eq for HomomorphismError

impl Error for HomomorphismError

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.

impl From<HomomorphismError> for IrtgError

fn from(source: HomomorphismError) -> Self

Converts to this type from the input type.

impl PartialEq for HomomorphismError

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